>>195
\x y z ... -> \i -> i x y z ...