A runtime typing system for javascript that uses type definitions similar to haskell type style.