/typecheck/CC/
../
Typecheck.hs
Typecheck