Data.Lens или Control.Lens

Control.Lens почти наверняка то, что вам нужно. Первым появился Data.Lens, он проще, но Control.Lens имеет много преимуществ и активно развивается.

Помимо линз, Control.Lens имеет много связанных типов, таких как обходы (обход подобен линзе, которая может ссылаться на n значений вместо одного), складки, линзы только для чтения/изменения, индексированные линзы, изоморфизмы... с гораздо большей библиотекой полезных функций и предопределенными линзами для стандартных типов библиотек, Template Haskell для получения линз и кучей кода для других вещей, таких как общие застежки-молнии и универсальный обход в стиле uniplate.

Это большая библиотека — вам не обязательно использовать ее всю, но приятно иметь то, что вы хотите, уже написанным.

Основное преимущество Data.Lens заключается в том, что он проще и, как таковой, не требует расширений за пределами Haskell 98. Но учтите, что если вы просто хотите экспортировать объектив в стиле Control.Lens из библиотеки, вы можете сделать это, не выходя из Haskell 98 -- на самом деле, вообще не завися от пакета.

Если вы имеете дело с проектом реального мира (tm), я настоятельно рекомендую Control.Lens. Эдвардк в последнее время приложил к этому много усилий, и я уверен, что он хотел бы услышать о вашем варианте использования. На мой взгляд, это станет канонической библиотекой Lens. Я считаю, что можно с уверенностью сказать, что все, что вы можете сделать с Data.Lens, вы можете сделать с Control.Lens.

Data.Lens намного проще и удобнее работать. Control.Lens имеет очень большое количество модулей и использует языковые расширения для выполнения своей работы.