[match inside types of lambda and pi bindings
John Meacham <john@repetae.net>**20060228022108] hunk ./E/TypeCheck.hs 302
+        un (tvrType va) (tvrType vb) mm c