[valenterry]

Funny thing: what you are complaining about here is in fact a lack of power in typescripts typesystem.

And even that verbose signature is better than none imo.