move to `Profunctor#contravariantInstance` from `Arrow#contravariantInstance`
add `Profunctor#covariantInstance[C]: Functor`