\begin{code}
module Name where

import {-# SOURCE #-} Module

data Name

nameModule :: Name -> Module
\end{code}