typecheckにとても時間がかかるコード（let e =...までならすぐにコンパイルできるけど、let f =...まで入れると、かなり時間かかる)