Using the Option typeclass to model missing values

Using the Eq and Ord typeclasses to compare and order

Using the Monoid typeclass to compose with indentity

Using the Semigroup typeclass to compose complex entities