That's exactly my point. There are very few people that are real experts, people that can see code and reason everything in their heads with little or no help.

That's exactly my point. There are very few people that are real experts, people that can see code and reason everything in their heads with little or no help. There really aren't any. Everyone thinks they are, but they aren't. Having types helps the rest of us understand what is going.