There is Shen[0]that has Haskell's type system with Lisp syntax, but I don't think it's much used - I haven't tried it myself.
Shen's type system is probably better described just as expressive.
http://shenlanguage.org/learn-shen/types/types_sequent_calcu... gives a sense of the flavor.