From MaybeT to MonadError