<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass{book}
\usepackage{haddock}
\begin{document}
\begin{titlepage}
\begin{haddocktitle}

\end{haddocktitle}
\end{titlepage}
\tableofcontents
\input{GadtConstructorArgs}
\end{document}</pre></body></html>