The holonomy functor is full