Control.Unification.IntVar
data IntVar
data IntBindingState t
data IntBindingT t m a
runIntBindingT
evalIntBindingT
execIntBindingT