Bootstrapped algebraic data types for Elixir

Error & exception handling helpers for Elixir

(Semi-)principled type classes for Elixir

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

Work with type classes with algebraic or category-theoretic.