3 ms·
From the abstract it sounds a bit like https://brianmckenna.org/blog/type_annotation_cofree https://brianmckenna.org/blog/type_annotation_cofree, which is a gre
by efnx 2y ago
From the abstract it sounds a bit like https://brianmckenna.org/blog/type_annotation_cofree https://brianmckenna.org/blog/type_annotation_cofree, which is a great read.