polytype 1.0.4

A Hindley-Milner polymorphic typing system.
Documentation