[pharmakom]

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.

[olejorgenb]

It can: https://news.ycombinator.com/item?id=39179144