A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms