module TcType where data TcTyVarDetails pprTcTyVarDetails :: TcTyVarDetails -> Outputable.SDoc