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