\begin{code}
module TcType where
import Outputable( SDoc )

data MetaDetails

data TcTyVarDetails 
pprTcTyVarDetails :: TcTyVarDetails -> SDoc
\end{code}