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 <[EMAIL PROTECTED]> _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users