I think it is giving you the error because you the &quot;fmap&quot; in your code is operating on the IO monad and not the List monad. In order to get it to work, you can remove the IO layer with &quot;&gt;&gt;=&quot; as below:<br>
<br>f :: [Int] -&gt; IO [Int]<br>f lst = do return lst<br><br>main = do let lst = f [1,2,3,4,5]<br>          lst &gt;&gt;= return . fmap (+1) <br><br>Or you can not wrap the list in IO to begin with, my guess is that you wrote &#39;f&#39; to make the compiler happy at some point in development:<br>
main = do let lst = [1,2,3,4,5]<br>          return $ fmap (+1) lst<br><br>-deech<br><br><div class="gmail_quote">On Fri, Dec 17, 2010 at 11:04 AM, michael rice <span dir="ltr">&lt;<a href="mailto:nowgate@yahoo.com">nowgate@yahoo.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><table border="0" cellpadding="0" cellspacing="0"><tbody><tr><td style="font: inherit;" valign="top">
<span style="font-family: courier,monaco,monospace,sans-serif;">I don&#39;t understand this error message. Haskell appears not to understand that 1 is a Num.<br><br>Prelude&gt; :t 1<br>1 :: (Num t) =&gt; t<br>Prelude&gt; :t [1,2,3,4,5]<br>
[1,2,3,4,5] :: (Num t) =&gt; [t]<br>Prelude&gt; <br><br>Michael<br><br>===================<br><br>f :: [Int] -&gt; IO [Int]</span><br style="font-family: courier,monaco,monospace,sans-serif;"><span style="font-family: courier,monaco,monospace,sans-serif;">f lst = do return lst</span><br style="font-family: courier,monaco,monospace,sans-serif;">
<br style="font-family: courier,monaco,monospace,sans-serif;"><span style="font-family: courier,monaco,monospace,sans-serif;">main = do let lst = f [1,2,3,4,5]</span><br style="font-family: courier,monaco,monospace,sans-serif;">
<span style="font-family: courier,monaco,monospace,sans-serif;">          fmap (+1) lst</span><br style="font-family: courier,monaco,monospace,sans-serif;"><br>===============================<br><br>Prelude&gt; :l test<br>
[1 of 1] Compiling Main             ( test.hs, interpreted )<br><br>test.hs:5:17:<br>    No instance for (Num [Int])<br>      arising from the literal `1&#39; at test.hs:5:17<br>    Possible fix: add an instance declaration for (Num [Int])<br>
    In the second argument of `(+)&#39;, namely `1&#39;<br>    In the first argument of `fmap&#39;, namely `(+ 1)&#39;<br>    In the expression: fmap (+ 1) lst<br>Failed, modules loaded: none.<br>Prelude&gt; <br></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>