Type: Taking Heed to the Doctrine