Restricted Types and Infinite Loops [SOLVED, I think]

[Simon David Foster]

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 <s.d.f at btinternet.com>