[Ericson2314]

? is bind for Either monad if you squint.

`context(e?)` becomes `e >>= \x -> context(x)`

[majewsky]

You mean `e >>= context` ? ;)

[Ericson2314]

Hah!

I should have been clear about CPSing things first so I didn't need to eta-expand :)