\begin{code}

module @ModuleName@ where

\end{code}