two expressions together. The left expression is executed first, followed by
the right expression.
-\begin{lstlisting}[%
+\begin{lstlisting}[language=Clean,%
label={lst:control},caption={Control flow operators}]
class IF v where
IF :: (v Bool p) (v t q) (v s r) -> v () Stmt | ...