title: difference between munch and many (satisfy p)?
body: <p>In the module <code>Text.ParserCombinators.ReadP</code>, <a href="http://hackage.haskell.org/package/base-4.7.0.1/docs/Text-ParserCombinators-ReadP.html#v:munch" rel="noreferrer"><code>munch</code></a> (and <code>munch1</code>) documentation says:</p>
  
  <blockquote>
    <p>Parses the first zero or more characters satisfying the predicate. Always succeds, exactly once having consumed all the characters Hence NOT the same as <code>(many (satisfy p))</code>.</p>
  </blockquote>
  
  <p>How are they different?</p>