@jza: What is a type