Types: Case Studies