Steven
Steven
```ts type Integer = `${T}` extends `${bigint}` ? T : never ``` [Playground](https://www.typescriptlang.org/play/?#code/PQKgUABBCMAMCcA2eEC0ECSA7ALgUwHM8AnSNVCysgIwE8IAJAVwEMAhASywIgAoABABbUAxsRYAzHAEoIAYgC2eACYcmC+fgUAHADYt8qXR3zjdYMnKsQAikzwBnHBwD2WC1AAKuvCwd4IERcdH3wIHFptAIADbHwiYgAeABUAPmiAGnDImOToiC5BEhMHCAliYIhorHVqEkyCiSq8gtKWLALcQhIIYjwcJmIOkyyXHCLiAHcOf17+wY7qvAA3eoA6DwhUiAA1DjxJiDcIAHETZmoALghBHBxtB0vgYBwHEUE1gCsHNZdiAmAcCQ8DAIGAFlAEAA+jDYXDYRAAJouQYQADCLmUAQYJAC8PxMIgYIsESimC6CRSEDwAA98FhlKUago6sRtgBeKoAEgA3skAL75Wn0xncnnUDgELg4QUQAD8EGSEGuWBWJAhIGhBPhiscOHRfkcWu1COJHB0f31pICPIgAFEAI6sXRZO00qIifX8soVDQAcn41tQ7xYuh83EcwCYzl0Dj9YHN2ktEFtbo9OAAYqH-FkAHJjR3OiDe8qVANBkNhvARhxRmNxiyhCA0iCc6BgJv0NsQPyBNxOEk5QKGhzQVsQADaZDTeE9iULocScW6SWgqSya-X0-ds5w86di+XlOgazXWVVqzZW6gM7nC90S4pJESJ9g65gqWv9p3d4PD6Pz7Wi4TQ0u+F4kJ+GTbum+7Oo+8SATkwEQLQ76blBAC6GrGiaUIQBmgzjD0ADK+APDhJpEuCoBkNsxGCCwfQoSixAQA4Li6NGrhYI8Nx3A8TwvG8HzfL8-yAggyDAO0DiTOqUDbHsBxsRxXH9tctz3I8zyvO8Xw-H8AJAlJ7Gcc4-a0RAACyfwBGiDFVjWGn8dpQl6aJhmguCQA)
```ts type FindEles = T extends [...infer Lead extends number[], infer Last extends keyof ValKeys & number] ? FindEles : R ``` [Playground](https://www.typescriptlang.org/play/?#code/PQKgUABBCcAccQLQQIIAc0FMCGAnCA9gHYA2AnoUQMaaRKION0BGFAGgHQCKHEAwgAtMRCAAoAAs1zCimXLAAMAJgDMASggBiALaYAJgEsArtrB1NFiFyOYAzgBcDxM1ABiBonoj2hETCUxdIntbCA9vX3s8AHNMewg8XGwKH2x47AwcfGJyShpeVwJ8TAAPbG00AMAsf480I3sALggAAwBtAEYAGiVuzpU+zoAWToBWToA2CYmAXWbAGH+CIzrGlo6h0dmOFwgAPggANQNMAHdKCABxA3sACSNmJoF7ezRbBuBgEKoBDgArWw4itFgHA4GAQMAzKAIAB9WFw+FwiAATUW+D4BD0mAg1zkWIR+NhEHBZnsZCwEHcngAogFbAAeAAqfhK9mEelCRBMzDkrWmnQO2BIAGlMGRQgBeCAAb1aQrCIgA1qKCAAzCBMgBkLQAJFLOdpubgAL7NBKhBmy6bTJpCo38gBKzNZng5XJ50wgkt5OzokqZpWd7IgrQ4oY8KrkEAAMjgvAG2a6De7+eHI1HsA4nQmIEqyKqBcLRaEtfrDdM6FAAPwUjx6Gl2Okx7B6fn7QUisWt9tF1rphwe+MunVSpt6VoAcgCRGiPnH0xNEGrvYz9n5oY49o9TXtPqg28hIBhBIR6rs8T4GbsR+PiOJBgqRXipPJUogVIAjkZBfyqSUsFR4iNCAVVwAhtAgcdxGfTBEC+QUp1iWxgHqAwSFsccSTJLEqEvCVgzoX9-3sOkPy-Eg6UpOtaTpNYIB6Oj+X6CAmOGCAxggSYOP5cZph2flaNYkZeL4gi-0wACSM-QUKNret6Vaej6KYpjONU3j+OEzpRKIySyJk6lqNopT1ODLoGOYzSwHLMAoRveEKSMXAfEjABlVkXmvOyiQhUA6D2FyBDwLE80ciBbAIEgUOIV4IEeZ5XneT5vj+AFcCBEFYGAbAiFsY45D8g4jlOcLIscaKHieF43g+Wwvl+f5AWBeBMpKqKcoKgBZIosUEeDhEQir4uqpL6tS6IwQhIA)
```ts type NumberRange = H extends R ? R : NumberRange type PlusOne = `${S}` extends `${infer N extends number}9` ? PlusOne : `${S}` extends `${infer L}8` ? ToInt :...
```ts type MyAwaited = T extends PromiseLike ? MyAwaited : T ``` [Playground](https://www.typescriptlang.org/play/?#code/PQKgUABBCMAcCcEC0ECCB3AhgSwC4FMATSZJM8kgIwE8IBZTAY23wCsIBlbAawHsAnTBAAUAAQC2TFqwDOPAZgCUEAMT5MM2ioAO-XuOwz8qygFdsAG1xJsAOxIkVTiAEVT+Gbmy97UEgEkAMwh0YwALTAA3YyFcam1jdDDsRjCIQxDBbQTCCDiEiAseYwAFPQMjADoIAAledBDjRkxbCABzfFwIWPjE5NT0mXTbOUJjXDDErJy83oB+CAAxAQh8AA9McW0LY2xg0IgI6IgAAzL9Q3wAHgBRDa2dgBVegD4Tw-q83nbOiDvN7b4Z4JOYOKAvCCPZJDACO7k83laGW0AgIuUC5TykwgAG0BNg2nZMBZuvwvIwdgBdYRhXC4bQyABcwGAY0ilVwvGAkkYcj4gmAmEIkRajCISHyHkY-Gw2ms63w-GYRhkSDhHi8PiQ0CQABYAKzcXXKGi4iRSNh8hTU2n0pkswkTUyUSqMfTci2yeSCRRgiAQgBqLAaPggAHE8DVnYzDnSGczgLgZKlKrJKgI2sA4PAwCBgGAC6AIAB9Utl8tliAATV4pn4EAAwrwxrVFcYKx3SxA8wXJfRqBgcGiro8XiQALyQ1ZrAi2QhDc4VfAAGWKVzsgUVEBKY6gUAWdAHWDwRCuO5IMceBbARc7HchGsbGg8Jbv5e7+ewW1RswKAG8-jhYkABo-jWBJGC6ABfCAMX0CAAHJRElJBUmJHZbA6GRgFMLwLBkBDe16CAAA0IEnRdLiuTwZUwsc+yrcjt3KKiAMCFgLEIGNbFMcRKC3KD6OIgAtJjKKMM8WIkmi7DaCAAB8IB4vjFReISCmE6AxKk65xN0nTqNwWi5MUyheF4HYWjUscwD7ZoVSYnESDuCDcFuICLCuQ9BxPQgrhIl5QJkujAuc8D8Eg9zTGJLyjyHU8q0CiA2I4rilN4-j60E0KoBciK3JuDzYp84dhKS4KTPSlT+DU4CwtcqKYu849SugcqjNkhSIDMiz1FsWqwEpQtgAgZDVXWVykEVPR+Fs4jppWSdmvivzlMymzCxAV83y7RY6wmLcOAIBltp2j8b3AcFOAifhjGoWt6xkCzcMRJlYztBMkxTNMMyzBBBRGUJZquoN8AaJ6LBenw3tteMWS+sJUxkdN+EzbNgAhqGRhICE6AEYwGwiCwMKwmNYftRNk0Rn7UdzfMwCAA)
```ts type Subtract = TrimZero extends `${infer N extends number}` ? N : never type TrimZero = S extends `0${infer R extends `${any}${any}`}` ? TrimZero : S type Minus =...
```ts type TrimRight = S extends `${infer Left}${' ' | '\n' | '\t'}` ? TrimRight : S ``` [Playground](https://www.typescriptlang.org/play/?ssl=23&ssc=72&pln=22&pc=1#code/PQKgUABBAsAcAMBmCBaCAVATgSwLYQCVsBzACwBdJUUbaqAjATwgE0BXYgQwDtiIBhTgHsIACgAC6TgBtpAK04BjANYBKCAGJcAUwAm2NvipUNpiAEU22gM7lsQ7sagBJXAAdp2nd3IQABlh4RGTkADzoAHx+EADupNiKpBDknMo2EDwQ2gAeSr62OLzJjG7aGdy6EJja5GyY3NYZENzaMRAF2EUx2ORJvWVxPTZuSmXaFZ181bhCAG56AHROEABiQphZue6eAFzLfgfk1lTkJWWBOpUAvBg4uMEUoQDkUBAAEtqyIgDq69KVryeEQgwGAm1KinIemSInoZReUA+Xwgv0w-yeVAOfmWwIAathWhAHBAAOI9N5seg7CAUchuaw7UFHRILOTWBbrYjAOBIMAgYBgQWgCAAfTF4ol4tYQjqAiEujKH2qoslqpFEH5gtOpVuQRIjwAypsoRVGh1eBEqDcjTkTbpGn4ACQAb06ADNtBsADLaN3kAC+LpeLwAPhAngAdbih8MR8hPf3RAD8uvu+rCPr9wOpBsFYGFatVGBsvkE1nShclGoFeDc6182rKzogAFEAI5sGQAGlb2Qhvn9EDdmCE+Ce4kbKESMk8vBswDYdmk1gxYEbEEUnHLjRuAG0qC2+9pIaF253pOE7g8wk8CkCe7fyJggREuwejyezzJL3qQs8CuGr7hneESvu+-anh234XNe-5Pq8UD3sBT4vm+UCHhBX4XjB6bPAh7TwQhSEIq8IFgehH5hFhP5pn+JFukIsKcBsEBRnGgEPq8DFMc+oFob2mFQdhV64U8xGoeBx5UUJNGwZG3DseJfFgAAunm+YgCqlZiqsdT9BsBpQvSWnadWGlUMCBqkMxZSMDKGzWEI0iLvYDTUrS9KMsAzKkKy7KctyCCIMAPDWDEnoWRA+KEo5zl2A4DI0uQdIMky1gsmyHKYFyPLBbFLkJZFACy6xlPw1myOMxA2O5yWeWlGX+dlfICmAQA)
```ts type Intersection = (I extends `${number}` ? (_: T[I] extends {[_: number]: infer V} ? V : T[I]) => 0 : never) extends (_: infer I) => 0 ?...