（たいていの実用的な言語では）letで再帰できるけど、いま説明している型システムの範疇で再帰したやつに型がつくかというと……。