Types are indexed by type constructors, but now we allow ill-kinded types