hasTypeConstructor
P197594
predicate
Indicates that an entity is associated with or defined by a specific type constructor used to build or parameterize its type.