An overview of the ways in which you can create more types from existing types.