blob: 2f129026a76f8b2289ae3cd230132020dc9ab408 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE Rank2Types #-}
module ShouldSucceed where
data Empty q = Empty (Ord a => q a)
q :: (Ord a) => [a]
q = []
e0, e1, e2 :: Empty []
e0 = Empty []
e1 = Empty ([] :: (Ord a) => [a])
e2 = Empty q
|