[support simple type signatures on patterns
John Meacham <john@repetae.net>**20061223050303] hunk ./FrontEnd/Tc/Main.hs 499
+tiPat (HsPTypeSig _ pat qt)  typ = do
+    kt <- getKindEnv
+    s <- hsQualTypeToSigma kt qt
+    s `boxyMatch` typ
+    p <- tcPat pat typ
+    return p
+