LText.Internal.Inference
data Context
remove
generalize
data TIState
runTI
newTyVar
instantiate
mgu
varBind
ti
typeInference
test