Monad (cooltt.Basis.Monad)

module type S = sig ... end

module type Notation = sig ... end

module Notation (M : S) : Notation with type 'a m = 'a M.m

module Util (M : S) : sig ... end

module type MonadReaderResult = sig ... end

module type MonadReaderStateResult = sig ... end

module MonadReaderResult (X : sig ... end) : sig ... end

module MonadReaderStateResult (X : sig ... end) : sig ... end