TypeScript 4.9のas const satisfiesが便利。型チェックとwidening防止を同時に行う