\begin{code}
interface TcMLoop where

import PreludeGlaST(_MutableArray)
import TcEnv(TcEnv,initEnv)
import TcType(TcMaybe)
import TyVar(GenTyVar)
import UniqFM(UniqFM)

data TcEnv a
data TcMaybe a
initEnv :: _MutableArray a Int (UniqFM (GenTyVar (_MutableArray a Int (TcMaybe a)))) -> TcEnv a
\end{code}