Partial Evaluators / Specialiers in/for Haskell