Abandoning use of type classes in favour of standard records.