@@ -737,7 +737,7 @@ instance (KnownNat n, PokeRep a) => PokeRepSum n (C1 c a) where
737 pokeBoundedPtr (fromInteger (natVal (Proxy :: Proxy n)) :: Word8) ptr
737 pokeBoundedPtr (fromInteger (natVal (Proxy :: Proxy n)) :: Word8) ptr
738 >>= pokeRep x
738 >>= pokeRep x
740−instance (KnownNat n, PokeRepSum n f, PokeRepSum (n + SumArity f) g)
740+instance (PokeRepSum n f, PokeRepSum (n + SumArity f) g)
741 => PokeRepSum n (f :+: g) where
741 => PokeRepSum n (f :+: g) where
742 {-# INLINE pokeRepSum #-}
742 {-# INLINE pokeRepSum #-}
743 pokeRepSum _ (L1 x) ptr =
743 pokeRepSum _ (L1 x) ptr =
@@ -816,7 +816,7 @@ instance (KnownNat n, PeekRep a) => PeekRepSum n (C1 c a) where
817 curTag = fromInteger (natVal (Proxy :: Proxy n))
817 curTag = fromInteger (natVal (Proxy :: Proxy n))
819−instance (KnownNat n, PeekRepSum n f, PeekRepSum (n + SumArity f) g)
819+instance (PeekRepSum n f, PeekRepSum (n + SumArity f) g)
820 => PeekRepSum n (f :+: g) where
820 => PeekRepSum n (f :+: g) where
821 {-# INLINE peekRepSum #-}
821 {-# INLINE peekRepSum #-}
822 peekRepSum curProxy tag
822 peekRepSum curProxy tag