On 4/18/05, Lloyd Allison <Lloyd.Allison at infotech.monash.edu.au> wrote: > Is it possible to define Y in Haskell (pref' H98) -- > and get it to pass type checking? I believe that y f = f (y f) is the normal way to do it. .trev