Carl Eastlund wrote: > I think higher-order here means *potentially* higher-order; i.e. not > restricted to flat contracts. Wouldn't that just be a "contract"? David