Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T11648.hs
index 15fcfa4..b8b70e8 100644 (file)
@@ -3,6 +3,8 @@
 
 module T11648 where
 
-class Monoidy (to :: k0 -> k1 -> *) (m :: k1)  where
+import Data.Kind
+
+class Monoidy (to :: k0 -> k1 -> Type) (m :: k1)  where
   type MComp to m :: k1 -> k1 -> k0
   mjoin :: MComp to m m m `to` m