[Haskell-cafe] A voyage of undiscovery

[Derek Elkins]

On Thu, Jul 16, 2009 at 2:52 PM, Andrew
Coppin<andrewcoppin at btinternet.com> wrote:
> Ross Mellgren wrote:
>>
>> It's not where -- let also works
>>
>> Prelude> let { foo x = x } in (foo 1, foo True)
>> (1,True)
>
> Awesome. So by attempting to implement Haskell's type system, I have
> discovered that I actually don't understand Haskell's type system. Who'd
> have thought it?
>
> Clearly I must go consult the Report and check precisely what the rules
> are...

The answer to your questions are on the back of this T-shirt.
http://www.cafepress.com/skicalc.6225368