12 Mar
2013
12 Mar
'13
9:18 a.m.
Is there a way to newtype a constraint? Imagine a type class parameterised over constraints. What do I do if I want multiple instances for (essentially) the same constraint? Roman