TcInteract

solveInteract

solveInteractGiven

solveInteractWanted

type AtomicInert

tyVarsOfInert

data InertSet

emptyInert

updInertSet

extractUnsolved

solveOne