This has generally been my experience as well when I'm working with almost any reasonable type system. Every time I've focussed on leaning on the type system,

This has generally been my experience as well when I'm working with almost any reasonable type system. Every time I've focussed on leaning on the type system, it's made refactoring much quicker for me and left me feeling way more confident. Every time I encounter a bug I think "is there a way I could have encoded this into the type system so it would have never compiled with the bug?" The thing I like about Haskell is how often I can say "yes" to that question and implement it. From what I understand, that question would would "yes" even more often with dependent types, though I've yet to really learn much about them. I really dig lisp (especially clojure) but the thing I miss when I'm using lisp is a really solid type system.