1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T11523.hs b/testsuite/tests/polykinds/T11523.hs
index aff0f9ed90..0630c53a32 100644
--- a/testsuite/tests/polykinds/T11523.hs
+++ b/testsuite/tests/polykinds/T11523.hs
@@ -15,6 +15,7 @@
 {-# language FunctionalDependencies #-}
 {-# language UndecidableSuperClasses #-}
 {-# language UndecidableInstances #-}
+{-# language StandaloneKindSignatures #-}
 
 module T11523 where
 
@@ -28,6 +29,7 @@ newtype Y (p :: i -> j -> Type) (a :: j) (b :: i) = Y { getY :: p b a }
 class Vacuous (a :: i)
 instance Vacuous a
 
+type Category :: Cat i -> Constraint
 class (Functor p, Dom p ~ Op p, Cod p ~ Nat p (->)) => Category (p :: Cat i) where
   type Op p :: Cat i
   type Op p = Y p