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