type PossibleValues = \'a\' | \'b\'; type Convert = T extends \'a\' ? string : number; function myFunc