testsuite/tests/polykinds/T14110.hs


1
2
3
4
5
6
7
8
9

{-# Language TypeFamilies, ScopedTypeVariables, PolyKinds, DataKinds #-}

import Data.Kind

class R (c :: k -> Constraint) where
  type R_ (c :: k -> Constraint) :: k -> Type

instance R Eq where
  type R_ Eq a = a -> a -> Bool