[Kind inference fixes ... ? and ?? aren't quite real kinds
Samuel Bronson <naesten@gmail.com>**20090130214250] hunk ./FrontEnd/KindInfer.hs 213
+            k <- f k
hunk ./FrontEnd/KindInfer.hs 221
+    where
+      -- ?? and ? aren't *really* kinds
+      f (KBase KQuestQuest) = liftM KVar $ newKindVar KindQuestQuest
+      f (KBase KQuest)      = liftM KVar $ newKindVar KindQuest
+      f k@(KBase _)         = return k
+      f (Kfun k1 k2)        = liftM2 Kfun (f k1) (f k2)
+      f k@(KVar _)          = return k