(λ(_ : Bool) → _) True