Assertion: type constructor expression | /r/CapableOf | specify call
Facets:
value: to a type constructor
type: TRANSITIVE-OBJECT
Source sentences:
text: A type constructor expression specifies a call to a type constructor.