Functor Vector.M

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

include Traversable.S
include Foldable.M