>>473
CPS 変換かけてラムダ持ち上げやると同型の式が得られると思う