On: The Cost of Abstraction (2016)

[tome]

Hmm, don't you use it as a monadic action like

    do
        ...
        both += 1