blob: 5227ac665191e35410b128fe2cde5628286a337a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
type B1 :: * -> *
data B1 a = B1 a
data instance C.F (B1 a) = B2 a
type D :: * -> *
data family D a
type C.C1 :: * -> Constraint
class C.C1 a where
type C.F :: * -> *
data family C.F a
type C.C1 :: * -> Constraint
class C.C1 a where
type C.F :: * -> *
data family C.F a
-- Defined at T5417a.hs:7:5
data instance C.F (B1 a) = B2 a -- Defined at T5417.hs:9:10
|
