{ a : Natural, b : Natural }