\begin{code}
module Module where

data Module
\end{code}