fixed current issues in `typing`;