contravariant

not defined yet