higher-order quantum computing