Yeah, the Prelude in Haskell has a lot of warts. Interestingly, if you use some of the Template Haskell derivations for lenses you get this record-of-sum optio

Yeah, the Prelude in Haskell has a lot of warts. Interestingly, if you use some of the Template Haskell derivations for lenses you get this record-of-sum optionality resolved at least partly.