Constant contravariant 

pub const contravariant: Symbol;