<br><br><div class="gmail_quote">On Wed, May 27, 2009 at 7:33 PM, michael rice <span dir="ltr"><<a href="mailto:nowgate@yahoo.com">nowgate@yahoo.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<table cellspacing="0" cellpadding="0" border="0"><tbody><tr><td valign="top" style="font:inherit">Still exploring monads. I don't understand why the type signature for double is OK, but not the one for iota.<br><br>Michael<br>
<br>=================<br><br>--double :: (Int a) => a -> Maybe b<br>--double x = Just (x + x)<br><br>iota :: (Int a) => a -> [b]<br>iota n = [1..n]</td></tr></tbody></table></blockquote><div><br></div><div>Int is not a class, and you are using it as such?</div>
<div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><table cellspacing="0" cellpadding="0" border="0"><tbody><tr><td valign="top" style="font:inherit">
<br><br>--usage: [3,4,5] >>= iota<br>--should produce [1,2,3,1,2,3,4,1,2,3,4,5]</td></tr></tbody></table><br>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br>