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.