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