Typescript : how to make type system accurately determine output type based on inputs using

Question

Having a problem with the type system not accurately determining the output type based on the inputs.

Types Used:

type inputs = "