Challenge that might make the omega more preferable: define an omega usable with strict evaluation similar to the relationship of the Z combinator for the Y along with the corresponding polyvadic combinator using the X combinator ref <a href="http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-14.pdf" rel="nofollow">http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-14.p...</a>