Bhavik Mehta

(assigning to Anne as the three of us discussed offline)

@YaelDillies bump on this - it seems sensible enough to me but it needs a merge of master

I'm not sure if it's a good idea to mark new things as reducible, especially if the only benefit is some golf - sometimes `reducible` is regarded as code smell;...

I've modified the `Batch` type as described above, and it is more efficient now.

For whatever it's worth, I have a slight preference for `consumeSnd`: this function will perform something on the second argument and I think it's nice for the name to reflect...

Idea: Lenses have type ```forall f. Control.Functor f => (s, f b)->. (a, f t)``` Const Top is a control functor which will extract the get part, and identity recovers...

Nope: the correct linear rank-1 form of a lens is `s ->. (a, b ->. t)`

note to self: try having both `pwander` and `dwander` in Wandering, and see what breaks: they might not really need to be distinct

@Divesh-Otwani Apologies for leaving this (and other branches) in such a state. Feel free to get in touch with me if you'd like some help tidying it up or just...

LGTM! bors merge