Control.Unification.Ranked.IntVar
data IntVar
data IntRBindingState t
data IntRBindingT t m a
runIntRBindingT
evalIntRBindingT
execIntRBindingT