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