کدی که یک بار برای هر نوعی نوشته می‌شود و نوع به‌عنوان پارامتر می‌آید، مثل def first[T](xs: list[T]) -> T. checker پیگیری می‌کند در هر فراخوانی T چیست.