telemetry: make agentID a monoid