[Haskell-cafe] ATs vs FDs

[Alexander Solla]

On Aug 14, 2010, at 9:01 AM, Antoine Latter wrote:

> What's wrong with fun-deps? The associated type synonym syntax is  
> prettier, but I didn't tknow that fun-deps were evil.
>
> Do you have any links?
>
They're not "evil", they are "tricky" and can lead to non-termination,  
inconsistency, etc.

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.118.6217&rep=rep1&type=pdf