import Module ( Module )
import MkId ( mkFCallId )
import IdInfo
-import TyCon ( tyConDataCons )
-import DataCon ( DataCon, dataConId, dataConSig, dataConArgTys )
+import TyCon ( tyConDataCons, tyConTyVars )
+import DataCon ( DataCon, dataConWorkId, dataConExistentialTyVars, dataConArgTys )
import Type ( Type, mkTyVarTys, splitTyConApp )
import TysWiredIn ( tupleCon )
import Var ( mkTyVar, tyVarKind )