Functor Vector.M

module M: 
functor (M : Monad.Basic) -> sig .. end

include Traversable.S

include Foldable.M