\begin{code}
module PrelNames where

import Module
import Unique

mAIN :: Module
liftedTypeKindTyConKey :: Unique
\end{code}