T

Otherwise

T, or Fallback when T is never.

type Otherwise<T, Fallback> = [T] extends [never] ? Fallback : T