ocaml-basics
OBMonad
module type Kernel1 = sig ... end
module type Kernel2 = sig ... end
module type S1 = sig ... end
module type S2 = sig ... end
module Make1 (K : Kernel1) : sig ... end
module Make2 (K : Kernel2) : sig ... end