It predates the MyPy syntax and, in my opinion, is a gazillion times prettier and my "pythonic". I'm not bitter ;)
It's "actively maintained" but I haven't needed to do anything in ages - it just works :)
PySchemes seems to have very similar syntax, but obiwan is also able to validate signatures in function annotations and is particularly good at validating JSON and msgpack APIs (the python code to validate an API is self-describing and makes excellent API documentation for other parties).
https://github.com/shezadkhan137/required
It makes it easier to expresses complex inter-field validation rules, and is meant to be used with other validation libraries.