title: Translate from monad to applicative
body: <p>OK, so I know what the <code>Applicative</code> type class contains, and why that's useful. But I can't quite wrap my brain around how you'd use it in a non-trivial example.</p>
  
  <p>Consider, for example, the following fairly simple Parsec parser:</p>
  
  <pre><code>integer :: Parser Integer
  integer = do
    many1 space
    ds &lt;- many1 digit
    return $ read ds
  </code></pre>
  
  <p>Now how the heck would you write that without using the <code>Monad</code> instance for <code>Parser</code>? Lots of people claim that this can be done and is a good idea, but I can't figure out how exactly.</p>