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

"Brad Larsen" wrote:

On Tue, 08 Jan 2008 18:59:22 -0500, Achim Schneider wrote:

...

Achim Schneider 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'?

Yes. -- (c) this sig last receiving data processing entity. Inspect headers for past copyright information. All rights reserved. Unauthorised copying, hiring, renting, public performance and/or broadcasting of this signature prohibited.