---
source: fp-macros/src/documentation/signature_snapshot_tests.rs
assertion_line: 147
expression: output
---
traverse_with_index: forall Brand A B F. (TraversableWithIndex Brand, Applicative F) => ((Index, A) -> F B, Brand A) -> F (Brand B)
