module IdInfo where data IdInfo data GlobalIdDetails notGlobalId :: GlobalIdDetails seqIdInfo :: IdInfo -> GHC.Base.() vanillaIdInfo :: IdInfo