Record parameters which were marked as instances arguments are kept as instance arguments in the constructors