Monads don't compose between different instances, but monad transformers do.