title: Haskell's type for Pairs
body: <p>I'm trying to understand Haskell's type system. And I came along the following:</p>
  
  <pre><code>*Main&gt; :t ("Hello", 4)
  ("Hello", 4) :: Num t =&gt; ([Char], t)
  
  *Main&gt; :t ("Hello", 'a')
  ("Hello", 'a') :: ([Char], Char)
  
  *Main&gt; :t ("Hello", True)
  ("Hello", True) :: ([Char], Bool)
  </code></pre>
  
  <p>Why is the type for <code>("Hello", 4)</code> not denoted like the others. I would have expected it to be <code>("Hello", 4) :: ([Char], Num)</code></p>
  
  <p>I already saw the <code>=&gt;</code> before. What I am wondering, is why does it make this difference?</p>