Corrected faulty reference to Hindley-Milner type inference
Corrected faulty reference to Hindley-Milner type inference

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle