But then writing magnitude { x = .., y = .. } would be ambiguous due to record update syntax, so deprecating record update syntax could fix that as well.
But then writing magnitude { x = .., y = .. } would be ambiguous due to record update syntax, so deprecating record update syntax could fix that as well.