__interface TcType 1 0 where
__export TcType TyVarDetails;
1 data TyVarDetails ;