Monads and other dark magic (monoids, functors, traversables, &c)
Bootstrapped algebraic data types for Elixir
A program specification language with a defined syntax, and ad-hoc semantics.