TypeFamilies vs. FunctionalDependencies & type-level recursion

[Malcolm Wallace]

> |  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.

I have no idea: I neither set up the wiki, nor do I have any interesting admin rights for it.

Regards,
    Malcolm