Conditionals
Higher order functions.
Runtime polymorphism.
Lazy sequences