__interface IdInfo 1 0 where __export IdInfo IdInfo seqIdInfo vanillaIdInfo ; 1 data IdInfo ; 1 seqIdInfo :: IdInfo -> PrelBase.Z0T ; 1 vanillaIdInfo :: IdInfo ;