. . . . "Transient Typechecks are (Almost) Free (Other)"^^ . . . . .