λ(Bool : *) → λ(True : Bool) → λ(False : Bool) → False