TcPluginM
data TcPluginM a
tcPluginIO
tcPluginTrace
unsafeTcPluginTcM
data FindResult
findImportedModule
lookupOrig
tcLookupGlobal
tcLookupTyCon
tcLookupDataCon
tcLookupClass
tcLookup
tcLookupId
getTopEnv
getEnvs
getInstEnvs
getFamInstEnvs
matchFam
newUnique
newFlexiTyVar
isTouchableTcPluginM
zonkTcType
zonkCt
newWanted
newDerived
newGiven
newCoercionHole
newEvVar
setEvBind
getEvBindsTcPluginM