Hindley-Milner

  1. REDIRECT Hindley–Milner type system {{R from modification}}