import TyCon ( TyCon, tyConArity, tyConDataCons, tyConTyVars,
isSynTyCon, isAlgTyCon,
tyConName, isNewTyCon, isProductTyCon, newTyConRhs,
import TyCon ( TyCon, tyConArity, tyConDataCons, tyConTyVars,
isSynTyCon, isAlgTyCon,
tyConName, isNewTyCon, isProductTyCon, newTyConRhs,