trait
BindingType
extends
Type
A marker trait for types that bind other types that refer to them. Instances are: PolyType, MethodType, RefinedType.