title: Couldn't Match Expected Type Against Inferred Type, Rigid Type Variable Error
body: <p>What is wrong with this function ?</p>
  
  <pre><code>test :: Show s =&gt; s
  test = "asdasd"
  </code></pre>
  
  <p>String is an instance of the <code>Show</code> class, so it seems correct.</p>
  
  <p>The error is </p>
  
  <pre><code>src\Main.hs:224:7:
      Couldn't match expected type `s' against inferred type `[Char]'
        `s' is a rigid type variable bound by
            the type signature for `test' at src\Main.hs:223:13
      In the expression: "asdasd"
      In the definition of `test': test = "asdasd"
  </code></pre>