import VarEnv
import Name
import NameEnv
import VarEnv
import Name
import NameEnv
import Module
import LazyUniqFM
import UniqSupply
import Module
import LazyUniqFM
import UniqSupply
import Control.Monad
import Data.List
import Control.Monad
import Data.List
\end{code}
This module takes
\end{code}
This module takes