testsuite/tests/ghci/scripts/T7873.script


1
2
3
4
5
6

:set -XPolyKinds -XRankNTypes -XGADTs -XTypeInType
data D1 = MkD1 (forall p (a :: k). p a -> Int)
data D2 = MkD2 (forall p a. p a -> Int)
data D3 = MkD3 (forall k p (a :: k). p a -> Int)
:i D2
:i D3