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