[wyager]

Are there any implementations of good type systems on top of lisp (let's say approaching Haskell's in capability)?

[vindarel]

There is! Coalton: https://github.com/coalton-lang/coalton

> Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp

[rajandatta]

Typed Racket is getting steady development and focus but more closely resembles Scheme.