Corrected elaboration of an instance as a record