add Profunctor#invariantFunctor