> On Apr 30, 2017, at 6:37 AM, Anthony Clayden <anthony_clay...@clear.net.nz> > 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. Otherwise, I agree with your notes. Documentation patches are warmly accepted! Richard _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users