redbar0n comments on A reckless introduction to Hindley-Milner type inference