[make absurds always match each other
John Meacham <john@repetae.net>**20060302234804] hunk ./DataConstructors.hs 256
+isAbsurd (ELit (LitCons n [] _)) | n == tc_Absurd = True
+isAbsurd (ELit (LitCons _ xs@(_:_) _)) = all isAbsurd xs
+isAbsurd _ = False
+
hunk ./DataConstructors.hs 270
+        g a b | isAbsurd a && isAbsurd b = do
+            go (getType a) (getType b)
+            return ()