module Make : functor (M : Monad_intf.S1_base) -> Monad_intf.S1 with type 'a t := 'a M.tmodule Id : Monad_intf.S1 with type 'a t = 'aStdune.MonadMonad signatures
module Make : functor (M : Monad_intf.S1_base) -> Monad_intf.S1 with type 'a t := 'a M.tmodule Id : Monad_intf.S1 with type 'a t = 'a