[use named Type constructors where possible
Helmut Grohne <grohne@cs.uni-bonn.de>**20150209143740
 Ignore-this: 1c7aaf02514393e781b57f21cb839a08
 
 ListT -> listT
 ArrowT -> arrowT
] hunk ./src/Igor2/RuleDevelopment/Cata.hs 220
-                 , AppT fctr (AppT pctr (varT "a"))] 
-                 (AppT (AppT ArrowT (varT "a")) (AppT (AppT ArrowT (AppT (AppT ArrowT (AppT (AppT fctr (varT "a")) (varT "b"))) (varT "b"))) (AppT (AppT ArrowT (varT "a")) (varT "b"))))
-                
-paraEx =  TConE ('para) $ 
+                 , AppT fctr (AppT pctr (varT "a"))]
+                 (arrowT [varT "a", arrowT [AppT (AppT fctr (varT "a")) (varT "b"), varT "b"], varT "a", varT "b"])
+
+paraEx =  TConE ('para) $
hunk ./src/Igor2/RuleDevelopment/Cata.hs 226
-                 , AppT fctr (AppT pctr (varT "a"))] 
-                 (AppT (AppT ArrowT (varT "a")) (AppT (AppT ArrowT (AppT (AppT ArrowT (AppT (AppT fctr (tupT [varT "b",varT "a"])) (varT "b"))) (varT "b"))) (AppT (AppT ArrowT (varT "a")) (varT "b"))))
-                 
+                 , AppT fctr (AppT pctr (varT "a"))]
+                 (arrowT [varT "a", arrowT [AppT (AppT fctr (tupT [varT "b", varT "a"])) (varT "b"), varT "b"], varT "a", varT "b"])
+
hunk ./src/Syntax/Builder.hs 406
-a .->. b = AppT (AppT ArrowT a) b
+a .->. b = arrowT [a, b]
hunk ./src/Syntax/Type.hs 183
-    | isNil n   = AppT ListT t
-    | otherwise = ty     
+    | isNil n   = listT t
+    | otherwise = ty