[Haskell-cafe] Alternative: you can fool many people some time, and some people many time, but...

[Corentin Dupont]

Hi guys,
I'm playing with the mysterious "some" and "many" from Control.Applicative.
If I try:

many $ Just 1

It just loops, I understand why:
http://stackoverflow.com/questions/18108608/what-are-alterna
tives-some-and-many-useful-for
It seems that some and many are usually used in a context where something
is consumed, and can be depleted, so the loop ends.

But why doesn't this terminates?

take 3 $ many $ Just 1

It's a recursive call, but the construction of the result should be lazy...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160929/c22fe46a/attachment.html>