trait
BindingType
extends
Type
A marker trait for types that bind other types that refer to them. Instances are: LambdaType, RecType.