Isomorphic, functional type-checking for Javascript - View it on GitHub