[Typer] [Git][monnier/typer][graveline] Use of predefined function `shift`