Agda.Utils.Maybe
unionMaybeWith
unzipMaybe
filterMaybe
forMaybe
caseMaybe
maybeM
fromMaybeM
caseMaybeM
ifJustM
whenJust
whenNothing
whenJustM
whenNothingM
allJustM
allJustsOrNothings