ちなみに、typecheck 結果の確認は -dump-ast でも出来ますよ。