[EMAIL PROTECTED] writes:
>
...
> 
> Although you can't show the value (because there isn't one), you can
> at least show the type of the expression:
> 
>     class ShowType a where
>         showType :: a -> String
....


Or you can do what hbc has done for donkey's years and
include 'showType' in Show. I seem to remember (but am
unable to test), that 'deriving(Show)' will do the right
thing for Show.showType too.

--sigbjorn

Reply via email to