Add RecordWildCards pragma