True! (Although that requires an allocation) The technique works best for encoding higher-kinded traits and, as you say, Monoid doesn’t need any of that, but i

True! (Although that requires an allocation) The technique works best for encoding higher-kinded traits and, as you say, Monoid doesn’t need any of that, but it was an easy way to introduce the ideas.