Generalizable All Variables. (*******************************************************************************) (* Chapter 9.6: Kan Extensions *) (*******************************************************************************)