Agda.Utils.Maybe

fromMaybeM