Bootstrapped algebraic data types for Elixir

Monads and other dark magic (monoids, functors, traversables, &c)

A program specification language with a defined syntax, and ad-hoc semantics.