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