Bootstrapped algebraic data types for Elixir

Applicative powered Validation ADT, with a dash of Witchcraft.

A program specification language with a defined syntax, and ad-hoc semantics.