I

inferno

A library for constraint-based Hindley-Milner type inference.