Carry types with functions
-rw-r--r-- 5533 Expr.hs
-rw-r--r-- 3311 ParseType.hs
-rw-r--r-- 3247 SimpleFT.hs