[redo Show instances for some E types
John Meacham <john@repetae.net>**20061118032741] hunk ./E/E.hs 44
-    showsPrec _ (LitInt x t) = parens $  shows x <> showString "::" <> shows t
-    showsPrec _ LitCons { litName = n, litArgs = es, litType = t } = parens $  hsep (shows n:map shows es) <> showString "::" <> shows t
+    showsPrec p (LitInt x t) = showParen (p > 10) $  shows x <> showString "::" <> shows t
+    showsPrec p LitCons { litName = n, litArgs = es, litType = t } = showParen (p > 10) $ hsep (shows n:map (showsPrec 11) es) <> showString "::" <> shows t
hunk ./E/E.hs 145
-    show TVr { tvrIdent = 0, tvrType = e} = "(_::" ++ show e ++ ")"
-    show TVr { tvrIdent = (x), tvrType =  e} | Just n <- fromId x  = "(v" ++ show n ++ "::" ++ show e ++ ")"
-    show TVr { tvrIdent = (x), tvrType = e}  = "(v" ++ show x ++ "::" ++ show e ++ ")"
+    showsPrec n TVr { tvrIdent = 0, tvrType = e} = showParen (n > 10) $ showString "_::" . shows e
+    showsPrec n TVr { tvrIdent = x, tvrType = e} = showParen (n > 10) $ case fromId x of
+        Just n -> shows n . showString "::" . shows e
+        Nothing  -> shows x . showString "::" . shows e
hunk ./E/E.hs 157
+instance Show e => Show (Alt e) where
+    showsPrec n (Alt l e) = showParen (n > 10) $ shows l . showString " -> " . shows e
hunk ./E/E.hs 162
-    deriving(Show,Eq,Ord)
+    deriving(Eq,Ord)