Haskell-ish functional programming language on top of the JVM