< x | y : Bool >.x