\begin{code}
module Name where

data Name
\end{code}