I actually have quite a few use cases for this feature. It's true that type checkers don't (yet) support it, but that doesn't mean that it should be disallowed at runtime. In fact, allowing it at runtime will surely give type  checkers room to experiment with implementing this feature if it is requested by enough users. As it is, they are blocked from doing so.