<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>I see there's another answer about this but it misses one key point which is likely the cause of your (and WinHugs') confusion.</div><div><br></div><div>On 2009 Jan 7, at 19:31, David Schonberger wrote:</div><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Arial; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; "><div class="hmmessage" style="font-size: 10pt; font-family: Verdana; "><rte_text><font face="Times New Roman" size="2"><font face="Times New Roman" size="2" style="font-size: 10pt; "><font face="Verdana">listFactorial l =<span class="Apple-converted-space">&nbsp;</span><br>&nbsp;if length l == 0<br>&nbsp;&nbsp;then return 1<br>&nbsp;&nbsp;else do<br>&nbsp;&nbsp;&nbsp;fact (head l)<br>&nbsp;&nbsp;&nbsp;listFactorial (tail l)<br>&nbsp;<br>fact n =<span class="Apple-converted-space">&nbsp;</span><br>&nbsp;if n == 0<span class="Apple-converted-space">&nbsp;</span><br>&nbsp;&nbsp;then return 1<br>&nbsp;&nbsp;else return foldr (*) 1 [1..n]<br></font></font></font></rte_text></div></span></blockquote><br></div><div>"return" doesn't mean what it does in other languages. &nbsp;It means "wrap this value in a monad". &nbsp;Since neither of the above functions involves a monad at all, the "return"s confuse Hugs into thinking you're doing something more complex than you actually are (hence the scary-looking type inference).</div><div><br></div><div>Ignoring (most) other optimizations to the code, since the other message hit them:</div><div><br></div><div>> listFactorial [] &nbsp; &nbsp; = [1]</div><div>> listFactorial (x:xs) = fact x : listFactorial xs</div><div>></div><div>> fact 0 = 1</div><div>> fact n = foldr (*) 1 [1..n]</div><div>></div><div>> f = do</div><div>> &nbsp; nums &lt;= askForNums</div><div>> &nbsp; putStr ("Sum is " ++ (show (foldr (+) 0 nums)) ++ "\n")<br>> &nbsp; putStr ("Product is " ++ (show (foldr (*) 1 nums)) ++ "\n")<br>> &nbsp; print $ listFactorial nums<br></div><div><br></div><div>If you'd rather keep your original definition of "f" and put listFactorial in IO, then:</div><div><br></div><div>> listFactorial [] &nbsp; &nbsp; = print 1</div><div>> listFactorial (x:xs) = do</div><div>> &nbsp; print $ fact x</div><div>> &nbsp; listFactorial xs</div><div><br></div><div apple-content-edited="true"> <span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 11px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 11px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 11px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div><font class="Apple-style-span" face="Monaco"><span class="Apple-style-span" style="font-family: Monaco; "><span class="Apple-style-span" style="font-family: Monaco; ">--&nbsp;</span></span></font></div><div><font class="Apple-style-span" face="Monaco"><span class="Apple-style-span" style="font-family: Monaco; "><span class="Apple-style-span" style="font-family: Monaco; ">brandon s. allbery [solaris,freebsd,perl,pugs,haskell] <a href="mailto:allbery@kf8nh.com">allbery@kf8nh.com</a></span></span></font></div><div><font class="Apple-style-span" face="Monaco"><span class="Apple-style-span" style="font-family: Monaco; "><span class="Apple-style-span" style="font-family: Monaco; ">system administrator [openafs,heimdal,too many hats] <a href="mailto:allbery@ece.cmu.edu">allbery@ece.cmu.edu</a></span></span></font></div><div><font class="Apple-style-span" face="Monaco"><span class="Apple-style-span" style="font-family: Monaco; "><span class="Apple-style-span" style="font-family: Monaco; ">electrical and computer engineering, carnegie mellon university &nbsp; &nbsp;KF8NH</span></span></font></div><span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 11px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><br class="Apple-interchange-newline"></span></span></span></div></span> </div><br></body></html>