λ(x : { a : Bool, b : Bool, c : Bool }) → x.{ a, b }.{ a }