module MonadT: sig .. end
sig
end
module ExceptionT: functor (M : Monad.MONAD) -> sig .. end
functor (
M
:
Monad.MONAD
) ->
module StateT: functor (S : Monad.TYPEWRAPPER) -> functor (M : Monad.MONAD) -> sig .. end
S
Monad.TYPEWRAPPER