cleanup and finish instances for quad functor