>binds an executor [...] to an object or function of type `T`. Does this really mean to talk about functions? Uses-executor construction is only defined for object types, not function types. Does it mean function objects? (Which are also objects).