A maybe monad transformer wraps a maybe in the given monad, not the other way around