title: Using uu-parsinglib to parse a sequence of Word8s
body: <p>I'm trying to use uu-parsinglib to operate on <code>[Word8]</code> rather than [Char].
  (I want to use uu-parsinglib for the error reporting.)
  I need a parser that will fetch me the next <code>Word8</code> in the sequence, whatever it is.
  Once I have that, I can build more complex parsers.
  But I'm having trouble figuring out how to write it.
  The closest I've been able to get is:</p>
  
  <pre><code>{-# LANGUAGE FlexibleContexts #-}
  
  module Main where
  
  import Control.Applicative ((&lt;|&gt;))
  import Data.Word
  import Text.ParserCombinators.UU.BasicInstances
  
  pRawWord8 :: Parser Word8
  pRawWord8 = pSatisfy (const True) (Insertion undefined undefined undefined)
  </code></pre>
  
  <p>However, that implementation apparently returns the wrong type. </p>
  
  <pre><code>amy2.hs:10:13:
      Couldn't match type ‘Char’ with ‘Word8’
      Expected type: Text.ParserCombinators.UU.Core.P
                       (Str Char state loc) Word8
        Actual type: Text.ParserCombinators.UU.Core.P
                       (Str Char state loc) Char
      In the expression:
        pSatisfy (const True) (Insertion undefined undefined undefined)
      In an equation for ‘pRawWord8’:
          pRawWord8
            = pSatisfy (const True) (Insertion undefined undefined undefined)
  </code></pre>
  
  <p>This surprises me, because I don't see how the type signature for <code>pSatisfy</code> is restricting me to returning a <code>Char</code> instead of a <code>Word8</code>.</p>
  
  <p>How can I implement <code>pRawWord8</code>?</p>