Draft: "All you wanted to know about types..."