bivariant
not defined yet