But if x is an int, the result is an int

If x is a list, the result is a list

I don’t think that the type system can describe this.