This looks pretty interesting. A proposed solution to the “records problem” in Haskell: https://github.com/VinylRecords/Vinyl/blob/master/tests/Intro.lhs

Too mindboggling for me though

that’s a relatively old (but widely used) one. There are a lot of different record-problem-solvers at this point in Haskell