A sound type system has strong limits on expressiveness, and even stronger if you want type inference to work. It's very easy to start tripping over those limit

A sound type system has strong limits on expressiveness, and even stronger if you want type inference to work. It's very easy to start tripping over those limits as you add features, as users of some Haskell extensions can attest.