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