1 2 3 4
:set -XTypeInType -XRankNTypes import Data.Kind data Foo :: (* -> *) -> (forall k. k -> *) :info Foo