title: Elm main function type annotation
body: <p>What is the meaning of this Elm example's main function type annotation?</p>
  
  <pre><code>main : Html msg
  main =
      div [] [ text "1" ]
  </code></pre>
  
  <p>What is Html and msg?</p>