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