Я могу создать линзу для последнего поля ( c ) в моих типах данных, выполнив следующие действия: {-# LANGUAGE DuplicateRecordFields #-} data X1 a c = X1 { a' :: a, b' :: Int, c' :: c } data X2 a b c = X2 { a' :: a, b' :: b, c' :: c } class...