title: Confusion over Haskell "Nothing" value
body: <p>I have recently started diving into Haskell. Its quite interesting, but the definition of <code>Nothing</code> baffles me and is not sinking in. On GHCI</p>
  
  <pre><code>Prelude&gt; :t Nothing
  Nothing :: Maybe a
  </code></pre>
  
  <p>Shouldn't <code>Nothing</code> be <code>Just Nothing</code>, why <code>Maybe a</code>?</p>