Class MaybeT<M extends MonadRec<?,​M>,​A>