declare type TODO = any

declare type NonUndefined<A> = A extends undefined ? never : A