>module TcEnv where >import TcRnTypes > >tcExtendIdEnv :: [TcId] -> TcM a -> TcM a