Partial Evaluation for Dictionary-free Overloading