Treat kind/type variables identically, demolish FKTV
[ghc.git] / testsuite / tests / polykinds / T10503.hs
index 2cc1ee7..2b99006 100644 (file)
@@ -5,5 +5,5 @@ data Proxy p = Proxy
 
 data KProxy (a :: *) = KProxy
 
-h :: forall r . (Proxy ('KProxy :: KProxy k) ~ Proxy ('KProxy :: KProxy *) => r) -> r
+h :: forall r . (Proxy ('KProxy :: KProxy k) ~ Proxy ('KProxy :: KProxy *) => r) -> r
 h = undefined