Re: [Haskell-cafe] Feeding a monad into itself

On 2017-07-21 23:33, Jeff Clites wrote:

Another interesting thought: although all of those give you a way to obtain a zero, I don't think any give you a way to test whether something is that zero. Hmm.

Well you could always use Eq. Or Foldable's null. That would generalize the loop to all foldable monads. Is that useful? I doubt it, but it's interesting. Cheers.