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-alternatives-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...