&gt; <i>If the typing&#x27;s in your head, then why not write it down for the benefit of others?</i><p>Because then it would be dumb typing with explicit declarations, not state-of-the-art inferred typing.<p>Also, you shouldn&#x27;t write down or say everything that pops into your head. Doing so can have inconvenient consequences.