a simple Hindley-Milner type system in Go - View it on GitHub