Re: [Haskell-cafe] Type System (Was: Currying and Partial Evaluation)

[Brad Larsen]

On Tue, 08 Jan 2008 18:59:22 -0500, Achim Schneider <[EMAIL PROTECTED]> wrote:
Achim Schneider <[EMAIL PROTECTED]> wrote:

Prelude> let y f = f $ y f
Prelude> :t y
y :: (b -> b) -> b

Just out of curiosity: Where the heck does 'a' hide?


Beg pardon?  Are you referring to the type of y being described with 'b'  
instead of 'a'?

Cheers,
Brad Larsen
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe