On Sun Apr 30 19:45:34 UTC 2017, Richard Eisenberg wrote:

Documentation is just about always suboptimal -- but the best people to suggest concrete improvements are those who were confused to begin with. So, by all means, submit patches!

Thanks for the invite ;-). OK. Done. See #13657. I've put suggested wording, please improve! The trickier problem is where to put the wording; the 'feature' is really at the intersection of several extensions.

Some relevant discussion on this point is on https://ghc.haskell.org/trac/ghc/ticket/10431

I've linked my ticket to that one. AntC

...

On Apr 30, 2017, at 3:35 PM, Brandon Allbery wrote:

...

On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg

wrote:

...

...

...

On Apr 30, 2017, at 6:37 AM, Anthony Clayden wrote:

...

...

...

Is that behaviour officially documented somewhere?

...

...

Not that I can find. Documentation on functional dependencies is somewhat lacking. This may be because fundeps has received little love of late.