Typed (Smalltalk × Haskell × Scala × Scheme) little-bastard-child that compiles to JavaScript.