  We discuss when the Rat functor associated to a coring satisfying the left
$\alpha$-condition is exact. We study the category of comodules over a
semiperfect coring. We characterize semiperfect corings over artinian rings and
over qF-rings.
