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
getEvBindsTcPluginM_maybe