Leapfrogging types with Traversable by Brian Lonsdorf