\begin{verbatim}
fst            :: (a,b) -> a
fst (x,_)       = x
\end{verbatim}
