Runtime type checking for JS with Hindley Milner signatures - View it on GitHub