runMaybeT . foldr mplus mzero . map MaybeT