blob: fb23aca2e52169c8e7cd8cf0a0adb152dfd1dd51 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE PolyKinds, MultiParamTypeClasses, DataKinds, TypeFamilies #-}
module T15591b where
import Data.Proxy
import Data.Kind
class C2 (a :: Type) (b :: Proxy a) (c :: Proxy b) where
type T4 a c
|