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