I did write one blog post earlier this year but it's a pretty trivial example. The zipper/tree stuff I'm writing up will go into quite a bit more detail. That

I did write one blog post earlier this year but it's a pretty trivial example. The zipper/tree stuff I'm writing up will go into quite a bit more detail. That article will be in the new Code Quarterly journal sometime this year.