вложенного Either'а. Может ли GHC додуматься на этапе компиляции до конечного типа этого Either'а и сфьюзить его в более эффективное представление? Например схлопнуть всё это в какой-нибудь один большой ADT?
гхц ничего не делает с представлением сумм же (ну не считая анпака строгих полей в их конструкторах)
Обсуждают сегодня