instance inference

[Ross Paterson]

On Mon, Dec 12, 2005 at 03:38:18PM -0000, Simon Peyton-Jones wrote:
> Interesting example.  Yes, GHC builds recursive dictionaries these days.
> There's a bit of discussion in our SYB paper in ICFP'05.
> http://research.microsoft.com/%7Esimonpj/papers/hmap/ 	And Martin
> Sulzmann has a whole paper about this point.
> http://www.comp.nus.edu.sg/~sulzmann/  ("Co-induction...")

Should there be a -fallow-unsound-instances flag?