module Writer: sig .. end
sig
end
Writer monad
module Make: functor (M : Monoid.S) -> sig .. end
functor (
M
:
Monoid.S
) ->