not working decayed-value-monoid