Between each pair of composed function calls, the bind operator codice_10 can inject into the monadic value codice_4 some additional information that is not accessible within the function codice_11, and pass it along down the pipeline.