What's wrong with having a type?