Agda.Utils.Maybe

fromMaybeM

unzipMaybe