extremely funny to me that haskell has such a powerful type system that its advocates are constantly bragging about and then it turns out they've designed it so that "updating a record field without globally unique field names" is an unsolved problem