# Tutorial: setoids A _setoid_ is a type equipped with an equivalence relation ```idris hide module Tutorial ``` ```idris Example1 : Nat Example1 = 0 ```