title: Redundant typing in writing simple function type
body: <p>Looking at the docs regarding Typescript, they show an <a href="https://www.typescriptlang.org/docs/handbook/functions.html#writing-the-function-type" rel="nofollow noreferrer">example of writing the function type</a>.</p>
  
  <pre><code>let myAdd: (x: number, y: number) =&gt; number =
      function(x: number, y: number): number { return x + y; };
  </code></pre>
  
  <p>It took me a while to decipher the above and when I finally did, it seemed like redundant typing. </p>
  
  <p>Doesn't <code>myAdd</code> automatically get the typing defined from the right side of the expression? I don't see the point of basically defining it again (in a slightly different format) on the left.</p>
  
  <p>What am I still not understanding?</p>