I thought Ollie had a blog post about this stuff somewhere, but I can't find it now. He does other things which involve fairly advanced GADT work, though https

I thought Ollie had a blog post about this stuff somewhere, but I can't find it now. He does other things which involve fairly advanced GADT work, though https://ocharles.org.uk/blog/posts/2014-06-10-reversible-serialization.html https://ocharles.org.uk/blog/posts/2014-06-10-reversible-ser...