{ a : Natural, b : { c : Natural } }