A parser for Hidnley Milner notations - View it on GitHub