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