Title: The nature and use of a type