I wrote a post about the records problem, in particular about type-changing update and how to get it without sacrificing type inference: https://github.com/effectfully/sketches/tree/master/has-lens-done-right The ideas are rather raw, but look promising to me. Any comments would be appreciated.