I&#x27;ve honestly never felt like types have gotten in the way. I also write plenty of tests with plenty of mocking, it&#x27;s just that the type system means we don&#x27;t have to write tests for the things the type checker checks for.<p>I&#x27;m having trouble thinking of a time when I felt something akin to what you describe with zombie constraints. If anything, having a good type system makes it easier to rip out code that isn&#x27;t used anymore. And Generics can help with keeping your solution from getting too specific.