blob: b59544d3d7fd13522fdae61f1e607d7a21a7d6d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
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
|
