I'm proposing a language feature for partial type ...

# language-proposals

[pakoito]

I'm proposing a language feature for partial type hinting, you're giving me a raw runtime solution that doesn't fit the general problem