blob: 83c353561902e0a8a56dc75d378c7d043ea8c401 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE StandaloneDeriving #-}
module T9563 where
import Data.Kind (Type)
import GHC.Generics
data family F typ :: Type -> Type
data A
data instance F A a = AData a
deriving (Generic, Generic1)
data family G a b c d
data instance G Int b Float d = H deriving Generic
deriving instance Generic1 (G Int b Float)
|
