py-typing is a stub port
