MPTCs and functional dependencies

[Andres Loeh]

> But isn't the whole point of Haskell' to standardise those features
> that are agreed to be necessary for writing real-world
> applications and libraries in a reasonable way?

Assuming for a little while that we'd actually want to incorporate FDs
in Haskell'. Could we even do it? Is there a document describing *all*
the aspects of FDs in a reasonable complexity and abstraction level
that would be appropriate for a standard. If not, could such a document
easily be written with the knowledge of today?

After all, I don't want Haskell' to read "... and we incorporate
FDs as they are implemented in GHC". On the other extreme, I don't
want the Haskell' report to have a chapter on FDs that makes up 
50% of the whole report.

In any case, I will sit down and read the papers at

  http://research.microsoft.com/Users/simonpj/papers/fd-chr/

Maybe this will answer my question.

Cheers,
  Andres