Basically, Monoid doesn't stand as an independent ...
# language-proposals
f
Basically, Monoid doesn't stand as an independent third party that mediates the monoid implementation, it becomes part of the hierarchy itself.