\begin{code}
module OccName where

data OccName
\end{code}