Use a pointed monoid to accumulate traces