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