forAll package:kind-apply

Represents universal quantification.
Auxiliary type for interpretation of the ForAll atom. Required because a type family like Interpret cannot return a polymorphic type.