TypeFamilies vs. FunctionalDependencies & type-level recursion
simonpj at microsoft.com
Fri Jun 17 17:28:11 CEST 2011
| By equality superclasses, do you just mean being able to say "a ~ b"
| in a class context?
Yes. Or (F a ~ b).
| Unless I'm missing something, that is not sufficient to do a lot of
| things I would like to do, as those things require both
| OverlappingInstances and FunctionalDependencies (as well as
Correct. Hence Oleg's second point "2. combination with overlapping instances".
Oleg claims to have a good story here. I'd like to see how he uses it to solve your problem.
More information about the Haskell-prime