Dependent polynomial functor