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) -> sig .. end
functor (
M
:
Basic
) ->