Added a spec for `WithReducer`