A longer explanation of traversal, with Traverse1 notes.
Docs for Distributive.