Polymorphic Inference