[Haskell] How to define Y combinator in Haskell

[Haihua Lin]

Hi, 

Writing

    yc = \f -> (\x -> f(x x)) (\x -> f(x x))

causes type error.  Is there a way to define it in Haskell? 

Thanks,
Haihua