[Haskell-cafe] symbolic evaluator for Haskell?

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/