path: root/testsuite/tests/saks/should_compile/T16721.script

:set -XStandaloneKindSignatures -XNoStarIsType
import Data.Kind (Type)
type T :: (Type -> Type) -> Type; data T a
:info T