{ x : { y : Natural, z : Natural } }