checkDataCon tName kind tyVars d@DataConstrNonIndexed{}
  = checkDataCon tName kind tyVars
    $ nonIndexedToIndexedDataConstr tName tyVars d
checkDataCon tName kind tyVars d@DataConstrNonIndexed{}
  = checkDataCon tName kind tyVars
    $ nonIndexedToIndexedDataConstr tName tyVars d
checkDataCon tName kind tyVars d@DataConstrNonIndexed{}
  = checkDataCon tName kind tyVars
    $ nonIndexedToIndexedDataConstr tName tyVars d