@@ -95,7 +95,7 @@ instance Additive (Proxy x)
95-- | Const lifts groups into a functor.
95-- | Const lifts groups into a functor.
96deriving instance Group a => Group (Const a x)
96deriving instance Group a => Group (Const a x)
97instance Additive a => Additive (Const a x)
97instance Additive a => Additive (Const a x)
98−-- | Ideitnty lifts groups pointwise (at only one point)
98+-- | Identity lifts groups pointwise (at only one point)
99deriving instance Group a => Group (Identity a)
99deriving instance Group a => Group (Identity a)
100instance Additive a => Additive (Identity a)
100instance Additive a => Additive (Identity a)