---
type: mixed
---
### Stuff

- Definition of polymorphism and type variables
- Examples of polymorphic functions:
	- `id`, `fst`, `swap`, `silly`, `silly2`
	- List functions from the Prelude (e.g., `length`, `++`, `reverse`, `replicate`, `head`, `tail`, `take`, `drop`, `concat`, `zip`, `unzip`, `and`, `or`, `sum`, `product`)
    - Polymorphism vs. overloading