Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14110.hs
1 {-# Language TypeFamilies, ScopedTypeVariables, PolyKinds, DataKinds #-}
2
3 import Data.Kind
4
5 class R (c :: k -> Constraint) where
6 type R_ (c :: k -> Constraint) :: k -> Type
7
8 instance R Eq where
9 type R_ Eq a = a -> a -> Bool