added monoidal tests for reduces