Error & exception handling helpers for Elixir

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

(Semi-)principled type classes for Elixir

Bootstrapped algebraic data types for Elixir

Work with type classes with algebraic or category-theoretic.