Nullable values
Chaining exceptions
Disjoint union
Continuations
Functions
State
Parsers
Side-effects (!!!)