[repurpose smart constructor tListE to hide TListE
Helmut Grohne <grohne@cs.uni-bonn.de>**20150209155358
 Ignore-this: 23144d6ab70ffe5f2bb0e08a18be208
] hunk ./src/Syntax/Builder.hs 213
-        return $ TListE  tes lstty
+        return $ tListE tes lstty
hunk ./src/Syntax/Builder.hs 265
-        return $ TListE  tes lstty                 
-    toTExp t e@(Hs.PInfixApp (Hs.PInfixApp _ _ _) _ _) = 
+        return $ tListE tes lstty
+    toTExp t e@(Hs.PInfixApp (Hs.PInfixApp _ _ _) _ _) =
hunk ./src/Syntax/Expressions.hs 222
-tListE []     = error "mkTListE: empty List"
-tListE (e:es) = 
-    case es of 
-     []            -> TListE [e] (listT . typeOf $ e)
-     [TListE ls t] -> TListE (e:ls) t
-     [expr]        -> tInfixE e (TConE '(:) $ arrowT [ typeOf e
-                                                     , (listT . typeOf $ e)
-                                                     , (listT . typeOf $ e)]
-                                 ) expr
-     ls            -> TListE (e:ls)(listT . typeOf $ e)
-
+tListE = TListE