(no subject)

Допустим, я хочу построить штуку, которая реализует правило "больше - лучше."

Тогда мне нужен моноид с функцией добавления, посет и стрелка (value judgement) между ними.

f: + -> >