Typing Transducers (as Kleisli arrows)

I'd really love to see someone use the correspondence I describe here to write a Clojure Arrow notation macro for creating transducers! I think it'd be a very neat project.

http://www.haskell.org/arrows/syntax.html