I'm glad that when I refactor code in Java, the type checker catches many of my mistakes. Not as many as in Haskell, but still.
In Python, the deploy/run unit tests/spot typo cycle greatly slows me down.
Yeah this... I've found out that I subconsciously actively avoid refactoring our (old and in parts terrible) codebase because the tools for it are so bad.