The anatomy of type