working decayedvalue monoid