Add inverse reducer

As mentioned, I would probably make a stub reducer instead of testing two specific `Reducer`s