Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem