I haven't seen them used anywhere, but that's an okay solution I guess.
NB : by the way, love your blog :p
I was experimenting with them a little while ago, along with MyPy [1] but I immediately ran into an issue where the type system couldn't describe the type I was using, so I had to let it go (reluctantly.)
Same. Mypy was very limited at the beginning, and have been much more improved since. I give it a try regularly. It is indeed way better now, although I'm still structural typing and taking duck typing in consideration.
Yep. Works great. Less convenient than regular type hints, but when you need a transition tool, it's nice.