deal with contravariance with the mirror theorems trick