Malcom and Sergey write:

>   instance ShowType a => ShowType [a]
>     where
>     showsType xs = ('[':) . showsType x . (']':)   where ~(x:_) = xs

Perhaps 

   where [x] = [error "not used"] `asTypeOf` xs

gives the idea better.

--KW 8-)
-- 
: Keith Wansbrough, MSc, BSc(Hons) (Auckland) -------------------:
: PhD Student, Computer Laboratory, University of Cambridge, UK. :
: Native of Antipodean Auckland, New Zealand: 174d47'E, 36d55'S. :
: http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] :
:----------------------------------------------------------------:



Reply via email to