{ x = Natural, y = Bool }