Root higher-order CPS term is always $kfun $cont