blob: f84c5dc6cf2a2cc644cb8642d4a486e596dde31f (
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
25
26
27
|
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE StandaloneDeriving #-}
module T7704 where
import Data.Typeable
data A1 = A1 deriving Typeable
data A2 = A2
deriving instance Typeable A2
data B1 a = B1 deriving Typeable
data B2 a = B2
deriving instance Typeable B2
data C1 a = C1 deriving Typeable
data C2 a = C2
deriving instance Typeable C2
data D1 f = D1 (f (D1 f)) deriving Typeable
data D2 f = D2 (f (D2 f))
deriving instance Typeable D2
data E1 (a :: k) f = E1 (f Int) deriving Typeable
data E2 (a :: k) f = E2 (f Int)
deriving instance Typeable E2
|