scalaz.Maybeのモナドトランスフォーマーです。 scalazにMaybeが入ったのとほぼ同じタイミングでMaybeTも追加されました。 実態は以下のようなcase classです。
scalaz.Maybe
final case class MaybeT[F[_], A](run: F[Maybe[A]])