来源：https://stackoverflow.com/questions/62949200/why-are-monoidal-and-applicative-laws-telling-us-the-same-thing 标签 haskell typeclass applicative category-theory monoids
