blob: 5996bd7d478e7cbdff222f1883e315c0ec9638e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
module T17566 where
import Data.Kind
import Data.Proxy
import T17566a
type family F1 (x :: Proxy a) :: Proxy a
instance C1 Proxy z where
type T1 x = F1 x
data D1 x
type family F2 (x :: Proxy a) :: Proxy a
instance C2 Proxy z where
type T2 x = F2 x
data D2 x
|
