better specs for callCC, callCpC