Update traversal creation example to use Applicative syntax
Refactor example using macro