blob: fd128658e9901ab6ed1122b2a882cf05062184c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE StandaloneDeriving #-}
module T9563 where
import GHC.Generics
data family F typ :: * -> *
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)
|
