Arrow-like monad composition for monadLib.