[Haskell] simulating dependent types; ghc/ghci discrepancy

[Keith Wansbrough]

> > anyway (thus providing the dictionary) there is no point in storing it.
> 
> Aren't you talking about a different declaration?
> 
>   data Show a => Show' a = Show' a

Yes, I am.  Oops, sorry.

--KW 8-)
-- 
Keith Wansbrough <kw217 at cl.cam.ac.uk>
http://www.cl.cam.ac.uk/users/kw217/
University of Cambridge Computer Laboratory.