Combinação de dois monóides em um
