Hindley-Milner using the Mozilla Parser API.