testsuite/tests/polykinds/T9263b.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE DataKinds, PolyKinds, TypeFamilies #-}
module T9263b where

import Data.Proxy

class kproxy ~ 'KProxy => PEq (kproxy :: KProxy a) where
   type F (x :: a) :: Bool
   type F (x :: a) = False