blob: f4c164cd052be31ad751778c9e978b99405afea9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# Language PolyKinds #-}
{-# Language TypeFamilies #-}
{-# Language KindSignatures #-}
{-# Language DataKinds #-}
{-# Language MultiParamTypeClasses #-}
module T15764 where
import Data.Kind
import Data.Proxy
import GHC.TypeLits
class C6 (k :: Type) (a :: k) (b :: Proxy (a :: k)) where
type T6 (proxy :: Proxy '(k, b))
|