if support for this simple shape of dependencies ( ... | a -> b ) ...
For backwards-compatibility reasons,
Yes.
or because you think they're better than type families?
Don't know (haven't used them). Concrete example: I have this "class Partial p i b | p i -> b" http://dfa.imn.htwk-leipzig.de/cgi-bin/cvsweb/tool/src/Challenger/Partial.hs?rev=1.28 What would type families buy me here? In my code, this class has tons of instances (I count 80). How much would I need to change them? Could this be automated? Thanks - J.W.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
