is there a reason you generally prefer the implicitly[Monoid... approach vs. Monoid.zero[V], and so on?