------------------------------------------------------------------------
-- ReadS
+-- | A parser for a type @a@, represented as a function that takes a
+-- 'String' and returns a list of possible parses @(a,'String')@ pairs.
type ReadS a = String -> [(a,String)]
------------------------------------------------------------------------