module type S2 = sig ... endMinimum monad signature with an additional type parameter 'z
module type Infix2 = sig ... endInfix name space for S2
module type EX2 = sig ... endExtension of S2
module type T2 = sig ... endThe final unified Monad API for S2
module type S1 = sig ... endmodule type Infix1 = sig ... endInfix name space for S1
module type EX1 = sig ... endExtension of S1
module type T1 = sig ... endThe final unified Monad API for S1
module type S = S1module type T = T1module type EX = EX1module type Infix = Infix1