blob: 1d2d1f30afa0502ebf48c0248d07b164f07944d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{-# LANGUAGE TypeFamilies #-}
module T21185 where
import Data.Kind (Type)
import GHC.Generics (Generic1(..))
type FakeOut x = Int
data D (b :: Type) where
MkD :: c -> FakeOut c -> D c
deriving Generic1
data family DF (a :: Type)
data instance DF (b :: Type) where
MkDF :: c -> FakeOut c -> DF c
deriving Generic1
d :: Rep1 D ()
d = from1 $ MkD () 42
df :: Rep1 DF ()
df = from1 $ MkDF () 42
|
