and are omitted in subsequent functions. Both the boolean expression and
arithmetic expression classes are shown in Listing~\ref{lst:arithbool}.
-\begin{lstlisting}[label={lst:arithbool},
+\begin{lstlisting}[language=Clean,label={lst:arithbool},
caption={Basic classes for expressions}]
class arith v where
lit :: t -> v t Expr