module MkId where

mkDataConIds :: Name.Name -> Name.Name -> DataCon.DataCon -> DataCon.DataConIds