Generalizable All Variables. Require Import Notations. (******************************************************************************) (* Chapter 3.4: CoEqualizers *) (******************************************************************************) (* FIXME *)