~/\~ : Bool × Bool → Bool
false /\ true : Bool
λx. x /\ true : Bool → Bool
let f : (Bool × Bool → Bool) → Bool = λg. g(true, false) in f(~/\~) : Bool