@@ -70,7 +70,7 @@ return a single value:
70\begin{Highlighting}[]
70\begin{Highlighting}[]
71\OtherTok{unsplit ::} \NormalTok{(}\DataTypeTok{Arrow} \NormalTok{a) }\OtherTok{=>} \NormalTok{(b }\OtherTok{->} \NormalTok{c }\OtherTok{->} \NormalTok{d) }\OtherTok{->} \NormalTok{a (b, c) d}
71\OtherTok{unsplit ::} \NormalTok{(}\DataTypeTok{Arrow} \NormalTok{a) }\OtherTok{=>} \NormalTok{(b }\OtherTok{->} \NormalTok{c }\OtherTok{->} \NormalTok{d) }\OtherTok{->} \NormalTok{a (b, c) d}
72\NormalTok{unsplit }\FunctionTok{=} \NormalTok{arr }\FunctionTok{.} \FunctionTok{uncurry}
72\NormalTok{unsplit }\FunctionTok{=} \NormalTok{arr }\FunctionTok{.} \FunctionTok{uncurry}
73− \CommentTok{-- arr (\textbackslash{}op (x,y) -> x `op` y) }
73+ \CommentTok{-- arr (\textbackslash{}op (x,y) -> x {\char18}op{\char18} y) }
74\end{Highlighting}
74\end{Highlighting}
75\end{Shaded}
75\end{Shaded}