Generalizable All Variables. Require Import Notations. (******************************************************************************) (* Chapter 3.3: Equalizers *) (******************************************************************************) (* FIXME *)