higher-order chains