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