Functor Vector.M2

module M2: 
functor (M : Monad.Basic2) -> sig .. end
Parameters:
M : Monad.Basic2

include Traversable.S2
include Foldable.M2