Hi all,

In this definition from the Parsec library:

parse :: (Stream s Identity t)
      => Parsec s () a -> SourceName -> s -> Either ParseError a
parse p = runP p ()

what's the significance of `Identity t'?
(`t' isn't used anywhere.)

Thanks,
-db