variables - Haskell のアキュムレータ

Question

私はこの機能を持っています:

map(\x -> if (isLetter x) then (update exp (Literal x) "") else Epsilon) "a+b+c+" where exp = Epsilon

そして、マップ関数の各ステップで、変数 exp をイプシロンではなく、前のステップと同じままにし、中間結果のリストも保持したいと考えています。誰かが私を助けることができますか？