What about functions of type A x B -> A ?
An example would be C++ stream << operator which takes a stream on the left, a string on the right, and returns a stream (after writing the string into the stream). This is so that you can do chaining:
cout << "Hello" << "World";