I'm kind of befuddled as to why the original "Modifier functions" solution is not better than the "And now we can finally unify our getter and modify lenses into one:" solution.