[Haskell-cafe] Question on definition of `parse' function in Parsec library.

Hi all, In this definition from the Parsec library: parse :: (Stream s Identity t) => Parsec s () a -> SourceName -> s -> Either ParseError aparse p = runP p () what's the significance of `Identity t'? (`t' isn't used anywhere.) Thanks, -db