A proper subset of Haskell that compiles to JavaScript