+%
+% \item \emph{Template Metaprogramming using Two-Stage Generic Functions} shows how a sufficiently rich generic programming system can achieve much of the same functionality as template metaprogramming.
+% The generic programming functionality of \gls{Clean} is built into the compiler.
+% As a result, metadata of the generic types is added to the generic structure.
+% From this metadata, we can destill not only type and constructor names but also arities, fixity, kinds, types, \etc{}.
+% This allows us, by
+%\end{itemize}