On Thu, 7 Jun 2012, Simon Peyton-Jones wrote: > Very useful! Maybe worth turning into a page on the Haskell wiki? I created one: http://www.haskell.org/haskellwiki/Functional_dependencies_vs._type_families