A small implementation of type inference - View it on GitHub