disco-0.1.0.0: test/types-standalone-ops/expected

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