Add specific compose function and Traversal examples in Readme