Bootstrapped algebraic data types for Elixir
Helpers for defining operators
Common combinators for Elixir
(Semi-)principled type classes for Elixir
Monads and other dark magic (monoids, functors, traversables, &c)