> 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. T

> 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.