داخل first<T>، TypeScript هیچ چیزی درباره‌ی T نمی‌داند، پس نمی‌توانید .id یا .length را روی آن بخوانید. یک قید (constraint) مشخص می‌کند هر T دست‌کم چه چیزی باید داشته باشد.