Yup. One word: lenses. If you're interested in the history of the design space: semantic editor combinators, fclabels, data.accessors.