In TS, NonNullable is defined as
type NonNullable = T extends null | undefined ? never : T
One example,
type T0 = Non
