Module Plebeia.MonadSource

Sourcemodule type S1 = Monad.S1
Sourcemodule Make1 (A : sig ... end) : sig ... end
Sourcemodule type S2 = Monad.S2
Sourcemodule Make2 (A : sig ... end) : sig ... end