I'm happy to announce the birth of DeepArrow, a Haskell library for composable "editors" of pure values.
DeepArrow enables "deep function
application" in two senses: deep application of functions and
application of deep functions. These tools generalize beyond values and
functions, via the DeepArrow subclass of the Arrow type class.
Please see the project page at http://haskell.org/haskellwiki/DeepArrow .
Cheers, - Conal