http://nim-lang.org/
Again, I said not 100% accurate. I knew someone would say something like you did. No way Nim can compete with Haskell's type system.