\begin{code}
module Module where

data Module
data ModuleName
data PackageId
moduleName :: Module -> ModuleName
modulePackageId :: Module -> PackageId
packageIdString :: PackageId -> String
\end{code}
