> Types exist so that the compiler can reason about your code better - but not incidentally, they also help you reason about your code better!

THIS. So much. This observation is extremely intuitive to me.