let p_call p ts = Pcall(p,ts)