898 - Includes

type Includes<T extends readonly any[], A> = T extends [infer First, ...infer Rest] ? First extends A ? true : Includes<Rest, A> : false;

type isPillarMen = Includes<['Kars', 'Esidisi', 'Wamuu', 'Santana'], 'Dio'> // expected to be false