Data.Semigroup.Reducer.With

data WithReducer m c