I am learning Haskell and trying to understand the Monoid typeclass. At the moment, I am reading the haskellbook and it says the following about the pattern (monoid):
One of the finer points of the Haskell community has been its propensity for recognizing abstract patterns in code which have well-defined, lawful representations in mathematics.
What does the author mean by abstract patterns?