The method
readList is provided to allow the programmer to give
a specialised way of parsing lists of values. For example, this is
used by the predefined
Read instance of the
Char type,
where values of type
String are expected to use double quotes,
rather than square brackets.