The semantics of seq are:  a `seq` b = _|_ if a = _|_, b otherwise.  This implies that x `seq` x = x, and this seq is superfluous.

Maybe you meant  newarr `seq` procOne (a+1) newarr ?

Luke