Maybes

data MaybeErr err val

failME

isSuccess

orElse

firstJust

firstJusts

whenIsJust

expectJust

MaybeT

data MaybeT m a

liftMaybeT

tryMaybeT