1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T12698.hs b/testsuite/tests/patsyn/should_compile/T12698.hs
index 68cd817677..db4b003177 100644
--- a/testsuite/tests/patsyn/should_compile/T12698.hs
+++ b/testsuite/tests/patsyn/should_compile/T12698.hs
@@ -1,6 +1,7 @@
 {-# Language ViewPatterns, TypeOperators, KindSignatures, PolyKinds,
              StandaloneDeriving, GADTs, RebindableSyntax,
-             RankNTypes, LambdaCase, PatternSynonyms, TypeApplications #-}
+             RankNTypes, LambdaCase, PatternSynonyms, TypeApplications,
+             StandaloneKindSignatures #-}
 
 module T12698 where
 
@@ -36,7 +37,8 @@ splitApp = \case
   TP -> Nothing
   TA f x -> Just (App f x)
 
-data (a :: k1) :~~: (b :: k2) where
+type (:~~:) :: k1 -> k2 -> Type
+data a :~~: b where
   HRefl :: a :~~: a
 
 eqT :: T a -> T b -> Maybe (a :~~: b)