@@ -24,10 +24,11 @@ import GHC.Generics
2424-- | An 'Additive' 'Semigroup' is one where (<>) is commutative
2525class Semigroup q => Additive q where
2626
27−-- | Trivial group.
27+-- | Trivial additive semigroup.
2828instance Additive ()
2929
30−-- | Product group. A Pair of groups gives rise to a group
30+-- | Product additive semigroup.
31+-- A Pair of additive semigroups gives rise to a additive semigroup
3132instance (Additive a, Additive b) => Additive (a, b)
3233
3334-- See https://gitlab.haskell.org/ghc/ghc/issues/11135#note_111802 for the reason Compose is not also provided.
@@ -35,16 +36,16 @@ instance (Additive a, Additive b) => Additive (a, b)
3536-- really do for functor composition.
3637instance Additive (f (g a)) => Additive ((f :.: g) a)
3738
38−-- | Product of groups, Functor style.
39+-- | Product of additive semigroups, Functor style.
3940instance (Additive (f a), Additive (g a)) => Additive ((f :*: g) a)
4041
41−-- | Trivial group, Functor style
42+-- | Trivial additive semigroup, Functor style
4243instance Additive (Proxy x)
4344
44−-- | Const lifts groups into a functor.
45+-- | Const lifts additive semigroups into a functor.
4546instance Additive a => Additive (Const a x)
46−-- | Ideitnty lifts groups pointwise (at only one point)
47+-- | Ideitnty lifts additive semigroups pointwise (at only one point)
4748instance Additive a => Additive (Identity a)
4849
49−-- | Functions lift groups pointwise.
50+-- | Functions lift additive semigroups pointwise.
5051instance Additive b => Additive (a -> b)