Eval package:kind-apply

Represents a type family application.