Tutorial: setoids

A setoid is a type equipped with an equivalence relation

Example1 : Nat
Example1 = 0