Agda-2.3.0: A dependently typed functional programming language and proof assistant
Agda.Utils.Maybe
fromMaybeM :: Monad m => m a -> m (Maybe a) -> m aSource
module Data.Maybe