< x : Bool >.x