I was sad to see record fields not being addable anymore. It made for a good typeclass replacement, with no extra baggage.