Сквозные?

Или этого нельзя хотеть?

Не уверен, что c MTPC поможет deriving via

Вообще какая история у меня был в пакете тип:

data Foo = Foo { fooId :: Index, ...}

который содержал в себе поля для вложенного типа, ну просто исторически. В другом пакете был свой Foo уже без лишнего и

da

ta FooV = FooV { foo :: ПравльныйFoo, ...}

Но из-за этого много логики дублировалось или что хуже дублировалось с небольшими модификациями, это работает, но поддерживать дорого.

В итоге захотелось правильный Foo вынести в отдельный пакет со всем зиллионом функций для работы с ними, а в остальных оставить расширения. Но при этом нигде нельзя поломать binary и json encoding, и желательно не сойти с ума при рефакторинге

В итоге PatternSynonyms + generic-lens + overloaded labels дали решение, котороые было почти механическим. Но как-то я пока не до конца уверен, что это правильно всё

анлифтед типы похоже точно в 8.12 не попадают

как так

а линтипы?

линтипы вмерджены уже

т.е попадают?

ну, наверное попадают, может откатят еще

зависят от другого пропозала, который замедляет компиляцию на 1%

от какого?

Ну это ещё можно потерпеть.
Всё же, это не 2%.

хаскелисты однако — хотят и рыбку съесть и сковородку не помыть
чтобы и компилятор за них корректность доказал, и чтобы Доказал Быстро

но чет не захотели потерпеть, а захотели посмотреть че там можно наоптимизировать в результате момент весь вышел, имплементации три и шесть месяцев стоят нетронуты, там небось теперь потребуется софтвер-археолог чтоб это все в приличный вид привести теперь

не хотят
хотят штоб фич не было новых

И старых

И был Haskell2010