One of the benefits of having these more abstract concepts is that you can more easily reason about code you're about to write. Instead of asking "will this new

One of the benefits of having these more abstract concepts is that you can more easily reason about code you're about to write. Instead of asking "will this new code work in cases A, B, C, D..." you can ask yourself if it preserves the properties of a monoid morphism. For this to actually be a helpful tool, you of course need to have internalized the concept.