A binding return type constrained spec.
Apply the function.
An optional tag constraint.
The type constraint.