Generalizable All Variables. (*******************************************************************************) (* Chapter 10: Monads *) (*******************************************************************************)