@@ -44,7 +44,7 @@ instance Additive (Proxy x)
45-- | Const lifts additive semigroups into a functor.
45-- | Const lifts additive semigroups into a functor.
46instance Additive a => Additive (Const a x)
46instance Additive a => Additive (Const a x)
47−-- | Ideitnty lifts additive semigroups pointwise (at only one point)
47+-- | Identity lifts additive semigroups pointwise (at only one point)
48instance Additive a => Additive (Identity a)
48instance Additive a => Additive (Identity a)
50-- | Functions lift additive semigroups pointwise.
50-- | Functions lift additive semigroups pointwise.