Switch to a 'Traced'-based 'Comonad' for Reducer. The old one was unsound.