From the abstract it sounds a bit like https://brianmckenna.org/blog/type_annotation_cofree, which is a great read.