Def ActionSet(T) == car:TypeTcarcar

Thm* T:Type{i}. ActionSet(T) Type{i'}