The super-type of all types.
See https://docs.scala-lang.org/scala3/reference/other-new-features/kind-polymorphism.html.