I think maybe my comment sounded like I was advocating notation over types. I'm not, and I agree with everything you're saying. I stand by my assertion that th

I think maybe my comment sounded like I was advocating notation over types. I'm not, and I agree with everything you're saying. I stand by my assertion that there are situations where a little notation is a good thing. A better argument for notation is the readability of the code (which I place a high value on). That's a place where the types don't help as much, but the notation does.