I accidentally sent that too early, still working on the example but I think you got the point, what I'm sort of hoping for is a way to hint to the compiler that the return type for any expression (whether a parameterized function call or anything else) is supposed to be