形無しラムダ計算で
字面を見て再帰だって簡単に判断する方法ってないの？
簡約すると元に戻る奴が再帰だよね？