blob: 3474fe069c912c20e9ad02f6f01f504d3b6b56ca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType #-}
module T14847 where
data Proxy k (a :: k) = MkProxy
data Proxy2 k a = MkP (Proxy k a)
data Proxy2' k a where
MkP' :: Proxy k a -> Proxy2' k a
data T a where
T :: Int -> T Bool
type family F a where
F Int = True
F _ = False
|
