[paradoja]

I think maybe you misunderstood what the language does. It is compiled not to Haskell itself, but to the type system. No Haskell code is executed when using the interpreter (well, apart from the interpreter's itself), but it is Haskell's types that are... executed? checked? It's as is you made a program using C++ templates, not C++.

Here you have some examples (although it requires some knowledge of Haskell): http://www.haskell.org/haskellwiki/Type_arithmetic

[th0114nd]

I think wishful thinking twisted the title in my head, into reading of a lisp with a type system like Haskell's.

[paradoja]

This may be near your wishes: http://docs.racket-lang.org/ts-guide/