ExprF? to unFix ломает ^.
Ето не линзовое же
ага, у меня так было _Mu ∷ forall f g. Iso (f (Mu f)) (g (Mu g)) (Mu f) (Mu g) _Mu = iso roll unroll
ceoerced
Спасибо за сломанный инференс
Вспомнил, как он мне чинил инференс
Обсуждают сегодня