Reminded me of http://www.cap-lore.com/code/Scheme/equal.html which gives a equal? which works on cyclical structures.