Re: IO behaves oddly if used nested

it might be more clear if IO had a show instance like instance (Typeable b) => Show (IO b) where show (x:: IO a) = "<< IO action producing a " ++ (show $ typeOf (undefined :: a)) ++ " >>" then print $ getChar prints << IO action producing a Char >> of course this may not be feasable for all implemenations if they don't autoderive Typeable... John -- --------------------------------------------------------------------------- John Meacham - California Institute of Technology, Alum. - john@foo.net ---------------------------------------------------------------------------