The type hierarchy in TypeScript

%% TypeScript Type Hierarchy Graph
graph TD
  Top[Top Types] --> Any(any)
  Top --> Unknown(unknown)

  Primitives[Primitive Types] --> String(string)
  Primitives --> Number(number)
  Primitives --> Boolean(boolean)
  Primitives --> Null(null)
  Primitives --> Undefined(undefined)
  Primitives --> Symbol(symbol)
  Primitives --> BigInt(bigint)

  Literals[Literal Types] --> StringLiteral("'hello'")
  Literals --> NumberLiteral(42)
  Literals --> BooleanLiteral(true)

  ObjectTypes[Object Types] --> Object(object)
  ObjectTypes --> Interface("{ name: string }")
  ObjectTypes --> Class("class Animal {}")

  Composite[Composite Types] --> Union("string | number")
  Composite --> Intersection("Named & Aged")

  Functions[Function Types] --> Function("(x: number) => string")
  Functions --> Constructor("new () => Animal")

  Arrays[Array/Tuple Types] --> Array("number[]")
  Arrays --> Tuple("[string, number]")

  Special[Special Types] --> Void(void)
  Special --> Never(never)
  Special --> Enum("enum Color { Red, Blue }")

  Bottom[Bottom Type] --> Never

  %% Relationships
  Any --> Primitives
  Unknown --> Primitives
  Primitives --> Literals
  ObjectTypes --> Composite
  Composite --> Functions
  Functions --> Arrays
  Arrays --> Special
  Special --> Bottom