Agda.Utils.Maybe.Strict
toStrict
toLazy
listToMaybe
maybeToList
catMaybes
mapMaybe
unionMaybeWith
unzipMaybe
filterMaybe
forMaybe
caseMaybe
maybeM
fromMaybeM
caseMaybeM
ifJustM
whenJust
whenJustM