Module Alg_structs__.Traversable