and a type