Simplify ProFunctor definition