path: root/testsuite/tests/polykinds/T18522-ppr.script

:set -XPolyKinds -XDataKinds -XRankNTypes -XTypeFamilies
import Data.Kind (Type)
type family T :: forall k -> (k ~ k) => forall j -> k -> j -> Type
:k T