. "Other examples include: the Sweedler canonical coring associated to a commutative ring extension; A??R H, where H is a commutative Hopf algebra over R, and A a commutative right H-comodule algebra; this example can be generalized to the case where H is a weak Hopf algebra." . . .