[BUGFIX: tInfixE constructed wrong type when making sections
martin.hofmann@uni-bamberg.de**20091210075547] hunk ./src/Syntax/Expressions.hs 217
-    ty = last . unArrowT . typeOf $ c 
+    ty = arrowT . (drop 2) . unArrowT . typeOf $ c 