I’ve been wrangling with an interesting decoding problem over the
weekend. I started out fiddling with profunctors and arrows, but it
morphed into something more lenslike for a while. Since Chris Penner has
just published his article about fitting
Witherable into an optical framework, I thought I’d
write up what I have so far, and see if I can get some useful thoughts
out while this stuff is flavour of the week.