\begin{code}
module TcType where

data TcTyVarDetails 
\end{code}