listTyCon :: TyCon
listTyCon = buildAlgTyCon listTyConName alpha_tyvar [Representational]
                          Nothing []
                          (DataTyCon [nilDataCon, consDataCon] False )
                          Recursive True False
                          (VanillaAlgTyCon (mkSpecialTyConRepName (fsLit "tcList") listTyConName))
listTyCon :: TyCon
listTyCon = buildAlgTyCon listTyConName alpha_tyvar [Representational]
                          Nothing []
                          (DataTyCon [nilDataCon, consDataCon] False )
                          Recursive True False
                          (VanillaAlgTyCon (mkSpecialTyConRepName (fsLit "tcList") listTyConName))
listTyCon = buildAlgTyCon listTyConName alpha_tyvar [Representational]
                          Nothing []
                          (DataTyCon [nilDataCon, consDataCon] False )
                          Recursive True False
                          (VanillaAlgTyCon (mkSpecialTyConRepName (fsLit "tcList") listTyConName))