The Monoid type class
Lists are Monoids
Numbers are Monoids (via Sum)
Numbers are Monoids (via Product)