A reckless introduction to Hindley-Milner type inference · HackerTrans