14 Apr
2004
14 Apr
'04
4:24 p.m.
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