On Thu, 3 Oct 2013 22:06:22 +1000, Tony Morris <tmorris at tmorris.net> wrote: > Lenses for nested sum types e.g. Either. I think those would be leaning more in the direction of prisms.