Preceeding discussion in:

http://www.ccs.neu.edu/research/demeter/design-decisions/traversal-strategies/strategies-as-types/
http://www.ccs.neu.edu/research/demeter/design-decisions/traversal-strategies/substrategy/