1 files changed, 6 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T9201.hs b/testsuite/tests/typecheck/should_fail/T9201.hs
index 7702fa369c..463003602e 100644
--- a/testsuite/tests/typecheck/should_fail/T9201.hs
+++ b/testsuite/tests/typecheck/should_fail/T9201.hs
@@ -1,6 +1,10 @@
-{-# LANGUAGE PolyKinds, FunctionalDependencies, MultiParamTypeClasses #-}
+{-# LANGUAGE PolyKinds, FunctionalDependencies, MultiParamTypeClasses,
+             StandaloneKindSignatures #-}
 
 module T9201 where
 
-class MonoidalCCC (f :: x -> y) (d :: y -> y -> *) | f -> d where
+import Data.Kind
+
+type MonoidalCCC :: (x -> y) -> (y -> y -> Type) -> Constraint
+class MonoidalCCC f d | f -> d where
   ret :: d a (f a)