Ryan Ingram wrote:
But it doesn't generalize; you need to create a witness of inequality
for every pair of types you care about.
One can do better, avoiding the quadratic explosion. One merely needs
to establish a map from a type to a suitable, comparable
representation -- for example, to a
Thanks a lot for the explanation. Do you think supporting type
inequality test in type families would require UndecidableInstances?
For the reason that wren ng thornton mentioned?
On Sat, Jul 17, 2010 at 4:56 AM, o...@okmij.org wrote:
Ryan Ingram wrote:
But it doesn't generalize; you need to