New function for satiating a generic function.
New function for computing a discriminting-function lambda with discriminating tagbody.