The type any exists. The type unknown exists. The types actually have no meaning at runtime.