  In this paper, we prove a Maschke type theorem for the category of relative
Hom-Hopf modules. In fact, we give necessary and sufficient conditions for the
functor that forgets the $(H, \a)$-coaction to be separable. This leads to a
generalized notion of integrals.
