An undo stack in the photo editor, a queue of chat messages, a pair of key and value: these shapes do not care what they hold. Generic types let you build them once and use them with any type.