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