TypeFamilies vs. FunctionalDependencies & type-level recursion

[Simon Peyton-Jones]

|  	http://hackage.haskell.org/trac/haskell-prime/wiki/FunctionalDependencies
|  
|  Currently under cons for FunctionalDependencies, it says:
|  
|  	AssociatedTypes seem to be more promising.
|  
|  I proposed the following fix:
|  
|  	AssociatedTypes seem to be more promising, but in their
|  	current form are not as general as FunctionalDependencies
|  	[link].

OK, that one.  I've made that change.

|  Is there a policy that only a proposal's "owner" can modify the wiki
|  page?  Or that you have to be a member of the Haskell' committee?  

I'm not sure.  Malcolm Wallace is chair at the moment; I'm ccing him.

Simon