Clarify combined functor's type