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.