@@ -259,7 +259,8 @@ prettyAtomType (ConstructedAtomType tConsName typeVarMap) = tConsName `T.append`
259259 showTypeVars (tyVarName, aType) = " (" `T.append` tyVarName `T.append` "::" `T.append` prettyAtomType aType `T.append` ")"
260260-- it would be nice to have the original ordering, but we don't have access to the type constructor here- maybe the typevarmap should be also positional (ordered map?)
261261prettyAtomType AnyAtomType = "?AnyAtomType?"
262−prettyAtomType aType = (T.pack . show) aType
262+prettyAtomType aType = T.take (T.length fullName - T.length "AtomType") fullName
263+ where fullName = (T.pack . show) aType
263264
264265prettyAttribute :: Attribute -> T.Text
265266prettyAttribute attr = A.attributeName attr `T.append` "::" `T.append` prettyAtomType (A.atomType attr)