λ(foo : { x : Bool, y : Bool }) →
λ(bar : { x : Bool }) →
  (foo.{ x, y } ⫽ bar).{ x }