\begin{code}
module IdInfo where
-
+import Outputable
data IdInfo
-data GlobalIdDetails
+data IdDetails
-notGlobalId :: GlobalIdDetails
-seqIdInfo :: IdInfo -> ()
+vanillaIdInfo :: IdInfo
+coVarDetails :: IdDetails
+pprIdDetails :: IdDetails -> SDoc
\end{code}
\ No newline at end of file