Control.Unification.IntVar

data IntVar

data IntBindingState t

data IntBindingT t m a

runIntBindingT

evalIntBindingT

execIntBindingT