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

Bootstrapped algebraic data types for Elixir

Error & exception handling helpers for Elixir

(Semi-)principled type classes for Elixir

Work with type classes with algebraic or category-theoretic.

Beaver, a MLIR Toolkit in Elixir