polytype (cargo): A Hindley-Milner polymorphic typing system.
Keywords: language|type|typing|inference|unification|hindley-milner|polymorphism|type-inference|types