Clarify the description to ratify GHC's behaviour, i.e. record fields are matched in the order written in the datatype. Pros: this is easier to implement, Cons: it is not quite as intuitive for the programmer.

Clarify the description to specify that fields are matched in the order written in the pattern.