Use the code in the monoid you make above rather than here (that monoid will already have the Monoid[V]).