Correct type of goodsteinSequence.