[Function names as TVarE
martin.hofmann@uni-bamberg.de**20091019065438] hunk ./src/Data/Rules.hs 243
-    in  foldTAppE (TConE n funty) ps
+    in  foldTAppE (TVarE n funty) ps