úÎ×Bnon-portable (multi-parameter type classes, undecidable instances) experimentalEA monad transformer which adds Maybe semantics to an existing monad.  MaybeT-0.1.2Control.Monad.MaybeMaybeT runMaybeT