[a] -> [b]な再帰関数はスタック消費しないよ。