add TyConInfo earlier