Type error: error: RecordTypeMergeRequiresRecordType