@@ -44,6 +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-- | Identity lifts additive semigroups pointwise (at only one point)
48-- | Identity lifts additive semigroups pointwise (at only one point)
48instance Additive a => Additive (Identity a)
49instance Additive a => Additive (Identity a)