Forgot the HO spec constructors used by some of our examples.