Comparison of type families with functional dependencies.

http://article.gmane.org/gmane.comp.lang.haskell.cafe/52948

This is a haskell-cafe post of a brief summary of the commonalities and differences of the two language features.

Posted