Hello, The wiki page says that we should alert the committee about inaccuracies etc of pages, so here are some comments about the page on FDs (http://hackage.haskell.org/trac/haskell-prime/wiki/FunctionalDependencies) 1) The example for non-termination can be simplified to: f = \x y -> (x .*. [y]) `asTypeOf` y 2) The example for 'non-confluence' has a typo (bullet 2 should have a 'c' not a 'b', as it is the the two are syntactically equal :-)) 3) In the section on references it seems relevant to add a reference to "Simplifying and Improving Qualified Types" by Mark Jones, because it provides important background on the topic. Hope this helps -Iavor