मैं कैसे निम्नलिखित प्रकार के लिए unfold के बराबर लागू करने के लिए में सोच कर दिया गया है: data Tree a = Node (Tree a) (Tree a) | Leaf a | Nil
यह तुरंत स्पष्ट नहीं था के बाद से सूचियों के मानक unfol
कोड समीक्षा पर, मैंने के बारे में एक प्रश्न का उत्तर दिया जो कि iterates forward को कार्यान्वित करने का सुझाव देकर, प्राइम की बढ़ती संख्या की चौकोर लागत से बचने और मॉड्यूलो डिवीजन (लगभग) को पूरी तरह स