summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T13407.script
blob: f77fd42afe8f3d38fa948789dfd01c0d633e1aec (plain)
1
2
3
4
:set -XTypeInType -XRankNTypes
import Data.Kind
data Foo :: (* -> *) -> (forall k. k -> *)
:info Foo