monad transformer homomorphisms form a monoidal category