1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
class C1 (a :: Bool) where
c :: proxy a -> Int
class C2 (a :: [*])
data Baz = Baz
data Foo = Foo
class C3 (a :: [(Baz, Foo)])
class C4 (a :: (*))
class C5 (a :: App foo baz)
class C6 (a :: (parens))
data X (a :: [*])
x1 = undefined :: X '[Int]
x2 = undefined :: X '[Int, Double]
data Y (a :: (*, Bool))
y1 = undefined :: Y '(Double, True)
y2 = undefined :: Y '(Double, 'False)
z1 = undefined :: X [a -> b, X '[]]
z2 = undefined :: Y (a -> b, True)
|
