removed unneeded "Prelude" from call of succ in succWrap.