This library provides a framework for type-directed composition of value
editors (non-syntactic transformations).  The tools enable "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.

WWW: http://haskell.org/haskellwiki/DeepArrow