Maybes
data MaybeErr err val
failME
isSuccess
orElse
firstJust
firstJusts
whenIsJust
expectJust
data MaybeT m a
liftMaybeT
tryMaybeT