@@ -46,7 +46,7 @@ instance GHasTypes (K1 R a) a where
46 gtypes f (K1 x) = fmap K1 (f x)
46 gtypes f (K1 x) = fmap K1 (f x)
47 {-# INLINE gtypes #-}
47 {-# INLINE gtypes #-}
49−instance {-# OVERLAPPING #-} GHasTypes (K1 R a) b where
49+instance {-# OVERLAPPABLE #-} GHasTypes (K1 R a) b where
50 gtypes _ k = pure k
50 gtypes _ k = pure k
51 {-# INLINE gtypes #-}
51 {-# INLINE gtypes #-}