Express TYPEXPAND-1 more concisely.