module M: functor (M : Monad.Basic) -> sig .. end
functor (
M
:
Monad.Basic
) ->
sig
end
include Traversable.S
include Foldable.M