This appendix lists the actual implementation of Call Arity, as it is shipped in GHC 7.10.3, which is also the version that I produced the benchmarks in \cref{sec:measurements} with. I give the code without modifications besides
\begin{compactitem}
\item the removal of comments and notes and
\item whitespace-only changes to better fit the page format and to produce nicer alignment.
\end{compactitem}
The mild pretty-printing and code alignment is performed using lhs2Tex \cite{lhs2tex}.
\section{Co-call graphs}
\label{sec:co-call-graph-impl}
\input{listings/UnVarGraph.tex}

\section{The Call Arity analysis}
\label{sec:call-arity-impl}
\input{listings/CallArity.tex}