Near Matches
Ignore Exact
Everything
2
Hindley-Milner polymorphic type system