diff --git a/src/Protocols/Internal.hs b/src/Protocols/Internal.hs
index 93d76e49..e1f48c90 100644
--- a/src/Protocols/Internal.hs
+++ b/src/Protocols/Internal.hs
@@ -737,8 +737,10 @@ type family KeepType (keep :: Bool) (optionalType :: Type) = t | t -> keep optio
 deriving instance (C.ShowX t) => (C.ShowX (Identity t))
 deriving instance (C.NFDataX t) => (C.NFDataX (Identity t))
 #endif
+#if !MIN_VERSION_clash_prelude(1, 9, 0)
 deriving instance (C.ShowX t) => (C.ShowX (Proxy t))
 deriving instance (C.NFDataX t) => (C.NFDataX (Proxy t))
+#endif
 
 -- | We want to define operations on 'KeepType' that work for both possibilities
 -- (@keep = 'True@ and @keep = 'False@), but we can't pattern match directly.