Simon Peyton-Jones wrote: > Sorry.. but if you have all of > undecidable instances > overlapping instances > incoherent instances > then life is pretty wild. It all only happened because I've put together third party code fragments that required various extensions. Thanks for your comments, Christian