On Wed, Apr 14, 2004 at 04:58:55PM +0100, Keith Wansbrough wrote: > > data Show' = forall a . Show a => Show' a > > The "forall a. Show a =>" context here has no effect on the > representation; it merely constrains applications of the data > constructor Show'. Since you have to say > > > print' :: Show' -> IO () > > 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 Best regards, Tom -- .signature: Too many levels of symbolic links _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
