module type Monad =sig
..end
module type Basic = Monad_intf.Basic
module type Basic2 = Monad_intf.Basic2
module type Infix = Monad_intf.Infix
module type Infix2 = Monad_intf.Infix2
module type S = Monad_intf.S
module type S2 = Monad_intf.S2
module Make:
module Make2:
module Ident:S
with type 'a t = 'a