[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/