| That would be: | | (using 6.4 syntax) | | AppT (AppT (ConT (mkName "Bogus")) (ConT ''Int)) (ConT ''Char) Yes, it is a bit odd. In many ways it'd be better if the instance constructor was InstanceD Cxt Name [Type] [Dec] The Name would be the class name, the [Type] would be its args in the instance decl. I'm not sure why it is strange now. I'd change it, but it'd break people's code. TH folk: let me know if you'd prefer it changed in the next iteration. Simon