System.Language Hindley-Milner type inference over (Lisp-ish) S-expressions (01/2017) Try it on repl.it : https://repl.it/FTwz/16 ... CJJ