Class TraversalRing<A,​B>