When is cobinding in the costate/funarg/incontext comonad (c -> a,c) (see papers by Kieburtz, Uustalu, Vene, Orchard,
Mycroft, …) preferable to (better-known) currying?
f <<= (g,x) is equivalent to (curry f g,x) !
HNY, Peter