{ x : {}, y : Type }