inputGameShortName#c331e80a bot_id:InputUser short_name:string = InputGame;
t :: %TL.InputGameShortName{bot_id: TL.InputUser.t, short_name: String.t}