Type-directed semi-structured data compression. - View it on GitHub