effective partial evaluator yet?

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?