Fay is a proper subset of Haskell which is type-checked with GHC, and compiled to JavaScript. It is lazy, pure, has a Fay monad, an FFI, tail-recursion optimization (experimental), and support for cabal packages. Documentation See https://github.com/faylang/fay/wiki Examples See the examples directory and https://github.com/faylang/fay/wiki#fay-in-the-wild