blob: bafcccf01f12e301429954b84804630d4d917caf (
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
|
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# OPTIONS_GHC -ddump-deriv #-}
module CanDoRep1_1 where
import GHC.Generics (Generic, Generic1)
-- We should be able to generate both generic representations for these types,
-- without duplicating the meta ty cons
data Da a = D0 | D1 { d11a :: a, d12a :: (Da a) }
deriving (Generic, Generic1)
data Db a = D0b | D1b { d11b :: a, d12b :: (Db a) }
deriving (Generic)
deriving instance Generic1 Db
data Dc a = D0c | D1c { d11c :: a, d12c :: (Dc a) }
deriving (Generic1)
deriving instance Generic (Dc a)
data Dd a = D0d | D1d { d11d :: a, d12d :: (Dd a) }
deriving instance Generic (Dd a)
deriving instance Generic1 Dd
|
