The super-type of all types.
See https://dotty.epfl.ch/docs/reference/other-new-features/kind-polymorphism.html.
