如何使用scalaz'ContT monad变换器实现while循环

Question

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