mapMaybeT package:monadology

Transform the computation inside a MaybeT.