[Haskell-cafe] symbolic evaluator for Haskell?

[Tim Newsham]

Is there a symbolic evaluator for Haskell that will perform all
applications except on specified functions?  Ie. I would love
something that would take

     foldr (+) (6 `div` 5) [1,2,3*4]

and "(+) (*)" and return

    1 + (2 + (3*4 + 1))

by performing all the applications except for (+) and (*).
(Something that supports ghc extensions is preferred :)

Tim Newsham
http://www.thenewsh.com/~newsham/