ЖК
А есть какая-нибудь штука вроде отрицания констрейнта?
Чтоб можно было так:
И чтоб это можно было вызвать для любых a,b у которых нет инстанса
Чтоб можно было так:
foo :: (Not (Foo a b)) => a -> b -> (a,b)И чтоб это можно было вызвать для любых a,b у которых нет инстанса
Foo a b
