I do find that using monad bindings produces the c...
# arrow
d
I do find that using monad bindings produces the cleanest code, and I have yet to need this on an applicative type that's not monadic.