<!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.7654.12">
<TITLE>RE: [Haskell-cafe] ghci and applicative</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/plain format -->

<P><FONT SIZE=2>Thanks Ryan, I'm slowly becoming aware of the effects of Monomorphism. I'll look<BR>
again at Neil Mitchell's blog post.<BR>
<BR>
I guess it's the same thing when I try:<BR>
<BR>
&gt; let a = 1<BR>
&gt; a + 1.0<BR>
<BR>
I'm taking the &quot;mono&quot; as a clue that the type inferencing will complete after<BR>
each ghci carriage return; once only. In this example when &quot;a&quot; is set, it is<BR>
to an Integer. One might imagine ghci could wait until I use &quot;a&quot; somewhere, but<BR>
that's not how things are.</FONT>
</P>

</BODY>
</HTML>