mention the analogy to the `(T) => T` monoid. This is the async version of that.