blob: 749d8d2fc461d0fc713a9691b332c00f3d0dc7f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
module T13747 where
class C a where
type family TC a :: *
class D a where
data family TD a :: *
instance C Int where
type instance TC Int = Int
instance D Double where
data instance TD Double = TDDouble
instance D Int where
newtype instance TD Int = TDInt Int
instance D Char where
data instance TD Char where
C1 :: TD Char
C2 :: TD Char
|
