module Monad: Monad
Monad
module type Basic = sig .. end
sig
end
module type Infix = sig .. end
module type S = sig .. end
module Make:
functor (
M
:
Basic
) ->
module type Basic2 = sig .. end
module type Infix2 = sig .. end
module type S2 = sig .. end
module Make2:
Basic2