@hackage extend-record-data-th0.1.0.2

TH to define a new record data type that extends the existing record data type.