<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7036.0">
<TITLE>wrong infered types?</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/rtf format -->
<P><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">Hi,</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New">In Hugs, the infered types for the following four functions:</FONT> </SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">f a = let m = id a in do return m</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New">f' a = do m <- id a</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New"> return m</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New">g a = let m =[a,a] in do return m</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New">g' a = do m <- [a,a]</FONT><BR>
<FONT SIZE=2 FACE="Courier New"> return m</FONT><FONT FACE="Times New Roman"> </FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">respectively are</FONT> </SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">f :: Monad a => b -> a b</FONT><BR>
<FONT SIZE=2 FACE="Courier New">f' :: Monad a => a b -> a b</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New">g :: Monad a => b -> a [b]</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New">g' :: a -> [a]</FONT> </SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">I didn't expect this types, do you?</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New">Anybody has some explanation?</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New">Thanks in advance,</FONT><FONT FACE="Times New Roman"><BR>
</FONT><FONT SIZE=2 FACE="Courier New">Paqui</FONT></SPAN>
</P>
<P><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">--------------------------------- </FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">Paqui Lucio </FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">Dpto de LSI </FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">Facultad de Informática</FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">Paseo Manuel de Lardizabal, 1</FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">20080-San Sebastián</FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">SPAIN</FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">---------------------------------</FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">e-mail: paqui.lucio@ehu.es</FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">Tfn: (+34) (9)43 015049 </FONT></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">Fax: (+34) (9)43 015590</FONT></SPAN>
<BR><SPAN LANG="en-gb"><FONT SIZE=2 FACE="Courier New">Web: </FONT></SPAN><A HREF="http://www.sc.ehu.es/paqui"><SPAN LANG="en-gb"><U><FONT COLOR="#0000FF" SIZE=2 FACE="Courier New">http://www.sc.ehu.es/paqui</FONT></U></SPAN></A><SPAN LANG="en-gb"></SPAN>
<BR><SPAN LANG="es"><FONT SIZE=2 FACE="Courier New">---------------------------------</FONT></SPAN>
</P>
</BODY>
</HTML>