blob: 54e1582642b22ff9baaa80dcd5fc095613ab72bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType #-}
module T11732a where
import GHC.Generics
data Proxy k (a :: k) deriving Generic1
data family ProxyFam (a :: y) (b :: z)
data instance ProxyFam k (a :: k) deriving Generic1
|