Just realized the list is messed up...

- non-nullable + option types

- function composition (a bunch of languages get stuck in the filter/map phase but never get to the)

- typeclasses + data types over classes + interfaces/abstract classes

- pattern matching

- Monads

- The Free(R) Monad and attempts to make programs more like state machines and encode it at the type level