typo
Protocols for navigating data structures
Validation becomes just traversing, applying functions, and composing data