Total derived functor