What's the best way to apply a transformation to a tree only once instead of everywhere using SYB? For instance, in the following simplified expression, there are several instances of Var "x", and I want to replace the first instance with Var "y" only.

data Exp = Var String | Val Int | Plus Exp Exp |...

myExp = Val 5 `Plus` Var "x" `Plus` Val 5 `Plus` Var "x" ...

This can't be done using the everywhere combinator since it will try to transform all instances of Var "x" toVar "y".

--
Duc A. Le

PS: I also asked this on stackoverflow but figured that I might get a faster response here. Thank you!