Anatomy of type