export type Assert<T, U> = T extends U ? T : never;