blob: 159c017b066b2ba43157122bb814a5c50cf15a07 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
module T16030 where
import Data.Proxy
data Foo1 (a :: k) where
MkFoo1a :: Proxy a -> Int -> Foo1 a
MkFoo1b :: { a :: Proxy a, b :: Int } -> Foo1 a
data family Foo2 (a :: k)
data instance Foo2 (a :: k) where
MkFoo2a :: Proxy a -> Int -> Foo2 a
MkFoo2b :: { c :: Proxy a, d :: Int } -> Foo2 a
|