Agda.Utils.Maybe
unionMaybeWith
unzipMaybe
filterMaybe
forMaybe
caseMaybe
maybeM
fromMaybeM
caseMaybeM
ifJustM
whenJust
whenJustM