равенства. (В идеале - сделать это для произвольного типа).
Есть ли решение лучше, чем декартово произведение с Data.Unique?
не уверен, что подойдёт, но посмотри в сторону Compiling to Cartesian-Closed Categories http://conal.net/papers/compiling-to-categories/
https://youtube.com/watch?v=xZmPuz9m2t0
почему? твоя ссылка про то же по сути
Обсуждают сегодня