[Haskell-cafe] A voyage of undiscovery

[Andrew Coppin]

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...