Это я в процессе осмысления Haskell-я пытаюсь его представить в понятных мне категориях.
А операция и единица определяются как помещение товаров на склад, а единица - это пустой склад. Т.е. это не умножение, а сложение. Ну и если разбить склад по товарам и партиям - то все равно получаться моноиды, потому что для них все тоже самое справедливо, что и для склада целиком.