Now you can compose any two traversals; simplified evaluation