HERMIT.Monad
data HermitM a
runHM
embedHermitM
data HermitMEnv
data HermitMResult a
class LiftCoreM m
getHscEnv
runTcM
runDsM
class HasLemmas m
addLemma
findLemma
insertLemma
deleteLemma
class HasHermitMEnv m
mkEnv
getModGuts
getDebugChan
data KEnvMessage
sendKEnvMessage