TcInteract

solveInteract

type AtomicInert

tyVarsOfInert

data InertSet

emptyInert

updInertSet

extractUnsolved

solveOne

foldISEqCts