A Tale of Type