>>66
Church numeral を使えば定数 k は要らないんじゃねえの?