A collection of experiments with algebraic data types, including esoterica like unification. We also implement several types from Haskell's Prelude, like Maybe and Either.