const assertions are a criminally underused TypeScript feature - learn all about them here, now| tkdodo.eu
Types which are globally included in TypeScript| www.typescriptlang.org
