PS

lambda-lists

 \TeX は関数型だった。

lambda-lists

lambda-lists という小さな package があってそれを読むとマクロの意味が分かる。

\def\myin[#1]#2{\Foldr{\myinimpl}{#2}{\Listize[#1]}} % \defはパターンマッチ可能
\newcommand*{\myinimpl}[2]{\begin{#1}#2\end{#1}}

参考文献