Y combinator

[Antonio Eduardo Costa Pereira]

Does somebody know how to derive the Y combinator in Clean?
I tryed to write a Y combinator in Clean, by failed. Of course, it is 
easy to write something like this:

Y  f= f (Y f)

However, I would like to have something like this:

Y f= ((\f x-> f x x) ((\ f g x->(f (g x))) f)) 
              ((\f x-> f x x) ((\ f g x->(f (g x))) f))

I guess that this formula does not work because the system 
cannot derive its type, and I was not able to come out with a 
working type. 

Eduardo Costa