Protocol which describes symmetric equivalence relation for pair of types
Comparable (aka Orderable) Elixir protocol
read type class families