A type parameter (§4.9), bound by a declaration or by a generic signature of its own. The constraint is carried only when F# can express it - a subtype constraint against another generated interface. TypeScript bounds that have no F# form (`extends string`, `extends keyof T`) are dropped with a finding rather than approximated, because a wrong constraint rejects correct code.