Then noting that List is isomorphic to the initial Monoid is great abstraction. When you know what that means you have leverage over a large number of valuable

Then noting that List is isomorphic to the initial Monoid is great abstraction. When you know what that means you have leverage over a large number of valuable properties for both functionality and performance.