Function overloading works, but the implementation signature often ends up as a loose union that defeats the purpose. What's your go-to pattern for truly discriminating return types — overloads, generics with conditional types, or something else?