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 normally 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... -- ===================================== Corentin Dupont CREATE-NET OpenIoT Research Area - Senior Researcher Via alla Cascata 56/D - 38123 Povo, Trento - Italy e-mail: corentin.dupont@create-net.org Skype: corentin.dupont1 www.create-net.org ====================================== -- ===================================== Corentin Dupont CREATE-NET OpenIoT Research Area - Senior Researcher Via alla Cascata 56/D - 38123 Povo, Trento - Italy e-mail: corentin.dupont@create-net.org Skype: corentin.dupont1 www.create-net.org ======================================