a library which allows you to check the types of JavaScript values at runtime with a Haskell like type syntax