{ x : { a : Bool }, y : { b : Natural } }