[Imported all symbols from Syntax explicitly
tobias@goedderz.info**20150327124856
 Ignore-this: f930ce212edb8ebc568adc52545ca243
] hunk ./src/Tests.hs 20
-import Syntax
+import Syntax (AUnify(), C, Position(Root, Dot), TExp(TVarE, TWildE, TAppE,
+    TConE), Term(), Type(AppT, ForallT, VarT, ConT), Unify(),
+    (°), apply, arrowCon, boolCon, ctx_types, defaultContext, eitherCon, equal,
+    getVarNames, intCon, isFunT, lgg, listCon, match, maybeCon, safeCatchErrorC,
+    size, substitute, subtermAt, subterms, tAppE, tupleCon, typeOf, unArrowT,
+    unfoldTAppE)