allow contravariance in the first functor in a composition