This actually looks good. It's like a less-obtuse Haskell. At a glance the features seem to be just the right mix of functional programming paradigms and standard imperative programming.
The language is basically Racket, which is a Scheme at its core. There's very little in common with a language like Haskell.
I could only think of is they are both being a "typed lambda calculus" language with an ML-syntax.