A small strongly typed programming language with expressive types that
compiles to JavaScript, written in and inspired by Haskell.