[bugfix for fixed assoc tysyns with multi-param typeclasses
mail@stefanwehr.de**20050531045617] {
hunk ./Symtab.hs 335
-          toEq (AssocTypeSig id (x:xs) (Just right)) = 
-            let left = AssocType id (map TyVar (x:xs))
-                in Just $ EqualityDefinition [x] (EqConstraint left right)
+          toEq (AssocTypeSig id l (Just right)) = 
+            let left = AssocType id (map TyVar l)
+                in Just $ EqualityDefinition 
+                         (take (length $ class_params cd) l) 
+                         (EqConstraint left right)
+
}