@@ -62,8 +62,8 @@ instance (Ord k, Additive q) => Additive (MonoidalMap k q)
6262
6363-- | Trivial group.
6464instance Group () where
65− negateG _ = ()
66− _ ~~ _ = ()
65+ negateG ~() = ()
66+ ~() ~~ ~() = ()
6767instance Additive ()
6868
6969-- | Product group. A Pair of groups gives rise to a group
@@ -88,8 +88,8 @@ instance (Additive (f a), Additive (g a)) => Additive ((f :*: g) a)
8888
8989-- | Trivial group, Functor style
9090instance Group (Proxy x) where
91− negateG _ = Proxy
92− _ ~~ _ = Proxy
91+ negateG ~Proxy = Proxy
92+ ~Proxy ~~ ~Proxy = Proxy
9393instance Additive (Proxy x)
9494
9595-- | Const lifts groups into a functor.