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