\section{lhs test}\label{lhs-test}

\texttt{unsplit} is an arrow that takes a pair of values and combines them to
return a single value:

\begin{Shaded}
\begin{Highlighting}[]
\OtherTok{unsplit ::}\NormalTok{ (}\DataTypeTok{Arrow}\NormalTok{ a) }\OtherTok{=\textgreater{}}\NormalTok{ (b }\OtherTok{{-}\textgreater{}}\NormalTok{ c }\OtherTok{{-}\textgreater{}}\NormalTok{ d) }\OtherTok{{-}\textgreater{}}\NormalTok{ a (b, c) d}
\NormalTok{unsplit }\OtherTok{=}\NormalTok{ arr }\OperatorTok{.} \FunctionTok{uncurry}
          \CommentTok{{-}{-} arr (\textbackslash{}op (x,y) {-}\textgreater{} x \textasciigrave{}op\textasciigrave{} y)}
\end{Highlighting}
\end{Shaded}

\texttt{(***)} combines two arrows into a new arrow by running the two arrows on a
pair of values (one arrow on the first item of the pair and one arrow on the
second item of the pair).

\begin{verbatim}
f *** g = first f >>> second g
\end{verbatim}

Block quote:

\begin{quote}
foo bar
\end{quote}