Depth-first search

λ depth-first_search