Monads and other dark magic (monoids, functors, traversables, &c)
(Semi-)principled type classes for Elixir