3 ms·

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

• zalmoxes 10y ago
  That's been gone for a while.