In the CL Walker instance, calling the varT congruence combinator is redundant, since there are no children to traverse int.
In the CL Walker instance, calling the varT congruence combinator is redundant, since there are no children to traverse int.

ulricha/dsh