blob: e56240c2a4993865ab5038aba02284b2e43f755e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
module T12087 where
data F1 a where
MkF1 :: Ord a => Eq a => a -> F1 a
data F2 a where
MkF2 :: Ord a => a -> Eq a => F2 a
data F3 a where
MkF3 :: forall a. Eq a => a -> forall b. Eq b => b -> F3 a
data F4 a where
MkF4 :: forall a b. Eq a => a -> Eq b => b -> F4 a
data F5 a where
MkF5 :: Int -> Int -> forall a. a -> Int -> Int -> forall b. b -> F5 a
|