@@ -12,7 +12,7 @@
12 orphan for backwards compat, temporarily, but it should eventually be removed
12 orphan for backwards compat, temporarily, but it should eventually be removed
13 everywhere.
13 everywhere.
15−* `Applicative` is still defined, because the `Abelian` from `groups` has too
15+* `Additive` is still defined, because the `Abelian` from `groups` has too
16 stringent a constraint.
16 stringent a constraint.
18* `Additive` now lives in `Data.Semigroup.Additive`, but is still reexported
18* `Additive` now lives in `Data.Semigroup.Additive`, but is still reexported