why have a type