\begin{singlespacing}
\begin{tabular}{lr@{\ $=$\ }l}
\hline
\multicolumn{3}{c}{}\\
\LE{\llb \Eo \lit{,} \Et \lit{,} \ldots \En \rlb } & &
        \LF{\llb\tt  \Eo \lit{,} \Et \lit{,} \ldots \En \rlb } $a_{list}$ $u_{list}$ $t_{list}$\\
\LE{\Eo \lit{++}\Et }  & &     \LF{\Eo \lit{++}\Et } $a_{list}$ $u_{list}$ $t_{list}$\\
\multicolumn{3}{r}
{{\em etc.}~for other list expressions}\\
\LE{\reduce\ $f$ $t$ $L$} & &
\begin{minipage}[t]{2.5in} 
\begin{tabbing}
$\cal L\!E$\ldb\=
        \lit{let} \lit{z = }$t$\+\\
        \lit{in}  \LF{$L$} $(\lambda l\,r\,t.\:f\:(l\:$\tt z$)(r\:$\tt z$))$
                                         \lit{const}
                                         \lit{t}\rdb
\end{tabbing}
\end{minipage} \\
\LE{\foldr\ $f$ $t$ $L$}  & &     \LE{\LF{$L$} \lit{(.)} $f$ $t$} \\
\LE{\foldl\ $f$ $t$ $L$}  & &     \LE{\LF{$L$} \lit{(flip (.))}
                                         \lit{(flip} $f$\lit{)}
                                         $t$} \\
\multicolumn{3}{c}{}\\
\multicolumn{3}{c}{}\\
\LF{\llb \Eo \lit{,} \Et \lit{,} \ldots \En \rlb } & \aut &
\lit{((}$u$ \Eo\lit{)} \li $a$\li\ \lit{(}$u$ \Et\lit{)} \li $a$\li\ $\ldots$
\lit{(}$u$ \En\lit{))} $t$\\
\LF{\Eo \lit{++}\Et } & \aut & \lit{(}\LF{\Eo} $a$ $u$ \li $a$\li\ \LF{\Et} $a$ $u$\lit{)} $t$ \\
\LF{\lit{[]}}           & \aut & $t$ \\
\LF{$A$\lit{:}$L$}      & \aut & \lit{(}$u$ $A$ \li $a$\li\ \LF{$L$} $a$ $u$\lit{)} $t$\\
\LF{\map\ $f$ $L$}      & \aut & \LF{$L$} $a$ 
                $(u\:${\tt .} $f)$
                $t$ \\
\LF{\concat\ $L$}       & \aut & \LF{$L$} $a$ $(\lambda l.\:$\LF{$l$} $a$ $u$) $t$\\
\LF{\lit{reverse} $L$}  & \aut & \LF{$L$} $(${\tt swap} $a)$ $u$ $t$\\
\LF{\lit{someOrder} $L$}& \aut & \LF{$L$} $(${\tt bothways} $a)$ $u$ $t$\\
\multicolumn{3}{c}{}\\
\hline
\end{tabular}
\end{singlespacing}
