I'm not sure I follow here, why isn't the default Monoid on Timestamp being used here? its to take the max already right?