TcInteract
solveInteract
solveInteractGiven
solveInteractWanted
type AtomicInert
tyVarsOfInert
data InertSet
emptyInert
updInertSet
extractUnsolved
solveOne