Extends.ts

export type Extends<A, B, Y = unknown, N = never> =
    [A] extends [never] // <- ottimizzo evitando la distribution, altrimenti nello step dopo farei tot A extends B identici
    ? N
    : A extends B
      ? Y
      : N
      
// type IsNever<A> = A extends never ? true : false risulta in never se A = never
// (entra in gioco la distribution, ma non c'è nulla da distribuire!)
//
// type IsNever<A> = [A] extends [never] ? true : false risulta in true se A = never, altrimenti false
//
//
// Extends<never, B, Y, N> = N => never può essere tranquillamente usato come fall-through type
// per indicare il fallimento di una type function F:
// * se F<...> ritorna never allora F<...> extends B ? true : false è true
// (qui non avviene distribuzione, F<...> non è naked) perché never è sottotipo di qualunque B, e ciò è fastidioso
// * Extends<F<...>, B, true, false> invece è false