Those coming from the world of TypeScript or Java initially think of classes, interfaces, and generics when they hear “types.

The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...