Treat kind/type variables identically, demolish FKTV
[ghc.git] / testsuite / tests / polykinds / T10503.hs
1 {-# LANGUAGE RankNTypes, PolyKinds, DataKinds, TypeFamilies #-}
2 module GHCBug where
3
4 data Proxy p = Proxy
5
6 data KProxy (a :: *) = KProxy
7
8 h :: forall k r . (Proxy ('KProxy :: KProxy k) ~ Proxy ('KProxy :: KProxy *) => r) -> r
9 h = undefined