Encoding special graph structures in types - View it on GitHub