inference from haskell writing
-rw-r--r-- 415 ast.dcl
-rw-r--r-- 1088 ast.icl
-rw-r--r-- 202 infer.dcl
-rw-r--r-- 4556 infer.icl
-rw-r--r-- 363 main.icl
-rw-r--r-- 248 parse.dcl
-rw-r--r-- 6207 parse.icl