title: Should bind result in a Monad?
body: <p>The following is an example from a <a href="http://learnyouahaskell.com/a-fistful-of-monads" rel="nofollow noreferrer" title="Haskell tutorial">Haskell tutorial</a></p>
  
  <pre><code>instance Monad Maybe where  
      return x = Just x  
      Nothing &gt;&gt;= f = Nothing  
      Just x &gt;&gt;= f  = f x  
      fail _ = Nothing  
  </code></pre>
  
  <p>However, I am confused by the <code>Just x...</code> line. Should the result not be a monad? I would expect the line to be</p>
  
  <pre><code>Just x &gt;&gt;= f = Just (f x)
  </code></pre>