@@ -61,6 +61,10 @@ data DeclarationRef
6161 -- A type class
6262 --
6363 | TypeClassRef ProperName
64+ -- |
65+ -- A type class instance, created during typeclass desugaring (name, class name, instance types)
66+ --
67+ | TypeInstanceRef Ident (Qualified ProperName) [Type]
6468 deriving (Show, Eq, D.Data, D.Typeable)
6569
6670-- |
@@ -112,7 +116,8 @@ data Declaration
112116 --
113117 | TypeClassDeclaration ProperName [String] [Declaration]
114118 -- |
115− -- A type instance declaration (dependencies, class name, instance type, member declarations)
119+ -- A type instance declaration (name, dependencies, class name, instance types, member
120+ -- declarations)
116121 --
117122 | TypeInstanceDeclaration Ident [(Qualified ProperName, [Type])] (Qualified ProperName) [Type] [Declaration]
118123 deriving (Show, D.Data, D.Typeable)