Treat kind/type variables identically, demolish FKTV
[ghc.git] / testsuite / tests / polykinds / T14563.hs
index bdc05dd..aefa12b 100644 (file)
@@ -5,5 +5,5 @@ import GHC.Types (TYPE)
 import Data.Kind
 
 data Lan (g::TYPE rep -> TYPE rep') (h::TYPE rep -> TYPE rep'') a where
-  Lan :: forall xx (g::TYPE rep -> TYPE rep') (h::TYPE rep -> Type) a.
+  Lan :: forall rep rep' xx (g::TYPE rep -> TYPE rep') (h::TYPE rep -> Type) a.
          (g xx -> a) -> h xx -> Lan g h a