хотелось бы видеть функцию с типо f: (a->b) -> Epx -> Exp,
Для примеру... не знаю, думаю пока.
есть же инстансы дженериков для TH, т.е. lens, uniplate, syb и т.д. можно темплейтхаскельное аст переписывать
Обсуждают сегодня