Typing `fix`