blob: 99e6b3aa5c801488a1b931f76b99eb9bfe5cb9f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses, FlexibleContexts #-}
{-# LANGUAGE TypeFamilies, PolyKinds, ConstraintKinds #-}
module SAKS_006 where
import Data.Kind (Type, Constraint)
type C :: (k -> Type) -> k -> Constraint
type T :: k -> Type
class C a b
data T a
-- type D :: j -> Constraint -- #16571
type D :: Type -> Constraint
type D = C T
-- type DF :: j -> Constraint -- #16571
type DF :: Type -> Constraint
type family DF where
DF = C T
|
