"Brad Larsen" <[EMAIL PROTECTED]> wrote: > 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'? > 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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe