effective partial evaluator yet?

[John Sharley]

Noting Hudak's remark in the conclusion of "Modular Domain Specific
Languages and Tools"
http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Papers/dsel-hudak.ps
that Haskell lacked an effective partial evaluator, and remarks prior to but
on the same page as the conclusion that such a thing is very important for
DSELs, is there an effective partial evaluator for Haskell yet?

If not, what are the prospects (both theoretical and practical) for having
an effective partial evaluator for Haskell and GHC in particular?