Hello! On Thu, Jan 28, 1999 at 06:36:57AM -0800, Simon Peyton-Jones wrote: > I propose to remove Show (IO a) as well as Show (a->b), > for the same reason Looks good. But then, IMHO, interpreters should have special handling for those types instead (run anything of type IO a, not only IO (), as in H98, main is allowed to be of type IO a instead of IO (), anyway. "magically" print something, if the interpreter doesn't know a Show instance for some instance of a -> b). Regards, Felix.
- PS Simon Peyton-Jones
- Felix Schroeter
