RecordTest2.curry 80 Bytes