StrictMorphVariant

type StrictMorphVariant<T> = T extends number ? `${T}` | T : T extends "true" ? true | T : T extends "false" ? false | T : T;