[Fix kind printing for Lambdas/foralls
Samuel Bronson <naesten@gmail.com>**20080416232609] hunk ./E/Show.hs 147
+                          | tvrType tvr /= eStar             = go e ((UC.forall, tvr, True) :xs)
hunk ./E/Show.hs 151
-    go e1@(ELam tvr e) xs | sortKindLike (tvrType tvr)       = go e ((UC.lAmbda, tvr, False):xs)
+    go e1@(ELam tvr e) xs | tvrType tvr == eStar             = go e ((UC.lAmbda, tvr, False):xs)
+                          | sortKindLike (tvrType tvr)       = go e ((UC.lAmbda, tvr, True) :xs)