palette CCC { parameter wire X, Y, Z node left-eval[X, Y] : (X, X⇒Y) → (Y) node decomp-prod[X, Y] : (X×Y) → (X, Y) node swap[X, Y] : (X, Y) → (Y, X) action LeftCurry[X, Y, Z] :: ((X, Y) → (Z)) ~~→ ((Y) → (X⇒Y)) // ...省略... parameter node…