Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T9263b.hs
1 {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies #-}
2 module T9263b where
3
4 import Data.Proxy
5
6 class kproxy ~ 'KProxy => PEq (kproxy :: KProxy a) where
7 type F (x :: a) :: Bool
8 type F (x :: a) = False