Вам просто нужно будет поддерживать переменные цикла и счетчик, увеличивая счетчик на каждой итерации, пока он не будет равен n
, начиная с n = 0
case (или 1, как угодно).
Затем, когда count == n
у вас есть ответ, вы завершаете цикл.
Отсчет вверх вместо вниз характерен для corecursion , при условии, что каждый шаг итерации конечен (здесь, безусловно, так).