ADTs, patmat, GADT folds, and parametricity, tied together on the typelevel.#scala blog.