higher order CCS