{ x = Bool, y = Natural }.{ x }