m. Я понимаю что это как-то делается с помощью Data.Constraint.Forall, но у меня от него рейджквит в прошлый раз был. Есть где-нибудь пример для тупых?
там чот с Dict насколько я помню, но это не точно
https://stackoverflow.com/questions/21262407/how-do-i-use-data-constraint-to-reify-constraints/
Обсуждают сегодня