Purely Functional Graph Traversal Combinators.