< x : Natural | y >