無名再帰
複数パラメータリスト(カリー化)を使用。
それをトランポリン化。