pub const existential_type: Symbol;