path: root/testsuite/tests/ghci/scripts/T7730.script

:set -XPolyKinds
data A x y
:i A
:kind A
:set -XExistentialQuantification
data T a = forall a . MkT a
:info T