\begin{code}
module Module where

import PackageConfig (PackageId)

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