tType now has kind Kind, so its not a type anymore