- BST
- fromList
- Generative testing
- Quickcheck
- Polymorphism
- In data types
- In functions
- Prelude
- Maybe
- Either