Examples for composing indexed traversals