match_fun_tyなどのヘルパ関数をなくす是非を考えていて「型変数を新しく作成して使うコストは低いのだから（破壊的代入でリンクをアップデートしてるので管理する型変数の数が増えても処理が重くならない）、match_fun_tyなどでパターンマッチせずTArrow(tv…