monads - scalaz の ContT モナド変換子を使用して while ループを実装する方法

Question

ContTScalaz 7 でモナド変換子を使用して、whileスタック オーバーフローを防止しながら機能的な方法でループを実装する方法を理解しようとしています。の使用法を示す簡単な例はContT非常に役立ちます。