Typeclass

eq monoid order semigroup show