When defining a record class, how do I target the attributes to the parameter, field or property? For instance, I would like to use JsonIgnore but this doesn't compile as it has an attribute usage