An amazing (if a bit flowery) read that highlights more arcane stuff you can do with the TS type system: https://www.richard-towers.com/2023/03/11/typescripting-the-...