Type signatures
-rw-r--r-- 12290 Expr.hs
-rw-r--r-- 3677 ParseType.hs
-rw-r--r-- 3776 SimpleFT.hs