[BUGFIX: wrong type when transforming TConP to TConE
martin.hofmann@uni-bamberg.de**20090527154501] hunk ./src/Data/Rules.hs 221
-tPat2TExp (TConP n ps t) = foldTAppE (TConE n t) (map tPat2TExp ps)
+tPat2TExp (TConP n ps t) = let ty = mkArrowT ((map typeOf ps) ++ [t])
+                           -- build the arrow type from all args and the target type
+                           in foldTAppE (TConE n ty) (map tPat2TExp ps)