\begin{code}
module IdInfo where

data IdInfo
data GlobalIdDetails

notGlobalId :: GlobalIdDetails
seqIdInfo   :: IdInfo -> ()
\end{code}