Allowing defrecords as a typeshape