blob: e30c7ad5b198c4b31f4faf17e48f7088a6670d16 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
module T18191 where
data T where
MkT :: (forall a. a -> b -> T)
data S a where
MkS :: (forall a. S a)
data U a where
MkU :: (Show a => U a)
data Z a where
MkZ1 :: forall a. forall b. { unZ1 :: (a, b) } -> Z (a, b)
MkZ2 :: Eq a => Eq b => { unZ1 :: (a, b) } -> Z (a, b)
|
