LText.Internal.Inference

data Context

remove

generalize

data TIState

type TI m a

runTI

newTyVar

instantiate

mgu

varBind

ti

typeInference

test