What about adding the Maybe monad transformer as provided in MaybeT package to the transformers package? The module name could be Control.Monad.Trans.Maybe which would also avoid conflicts with the MaybeT package.