Maybes
data MaybeErr err val
failME
isSuccess
orElse
mapCatMaybes
allMaybes
firstJust
firstJusts
whenIsJust
expectJust
maybeToBool
data MaybeT m a