monads - 如何使用 scalaz 的 ContT monad 转换器来实现 while 循环

Question

我试图了解如何使用ContTScalaz 7 中的 monad 转换器以功能方式实现while循环，同时防止堆栈溢出。一个说明使用的简单示例ContT将非常有帮助。