Top Type ↔ universal (super-) Type assignable to any Variable

aka Top-Level-Type

any & unknown are Top Types

!contrast bottom type

any used for output of JSON.parse()

any used for Argument of String constructor

References

1. unknown ↔ Top Type to rep any value but also make it illegal to use (w/o Narrow)