Contravariant/Profunctor added no value any more since we killed OpOp
shed the need for Functor'
BifunctorOf really is ProfunctorOf