Предположим, у меня есть тип записи для некоторой алгебраической структуры;например, для моноидов:...