function includes<T, U extends T>(arr: readonly U[], elem: T): elem is U { return arr.includes(elem as any); }

See #14520 for discussion of upper-bounded generics.

the generic means "give me one of each function a -> Boolean" so if any of those functions doesn't exist, then the generic doesn't exist.

Using Type Parameters in Generic Constraints