pure type system language - henk 2000 ported to megaparsec, pretty - View it on GitHub