On Wed, 6 Aug 2008, Galchin, Vasili wrote:

>     1) Is there a common assumed semantics across all of the Haskell "with"
> things? withString? withData?
>
>     2) If the answer to 1) is yes, then does this imply some kind of
> polymorphism? Couldn't "with" be "reduced" to a higher order function then
> ??

The Continuation monad abstracts the idea of 'with':
  http://www.haskell.org/pipermail/haskell-cafe/2008-February/038963.html