“What part of Hindley-Milner do you not understand?” (stackoverflow.com)