Re: Restricted Types and Infinite Loops [SOLVED, I think]

Whoops, I should have tried it first. Amazingly, this seems to works. But I'm not sure I understand why, a still depends on XMLNamespace, because of the dictionary instance; instance (Data (DictXMLData b) a, XMLHook b a, XMLData b a, XMLNamespace a) => Sat (DictXMLData b a) where But I guess it's because the dependency on XMLNamespace comes in the instances, rather than the class head. -Si. -- Simon David Foster