IO behaves oddly if used nested

[John Meacham]

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 at foo.net
---------------------------------------------------------------------------