{ example0 = λ(x : Bool) → x == True
, example1 = λ(x : Bool) → True == x
, example2 = λ(x : Bool) → x == x
}