> Y:=f->(x->x(x))(g->f((()->g(g)(args)))): > Yfac:=Y(f->(x->`if`(x<2,1,x*f(x-1)))): > seq( Yfac( i ), i = 1 .. 10 ); 1, 2, 6, 24, 120, 720, 5040, 40320, 362880, 3628800 > Yfib:=Y(f->(x->`if`(x<2,x,f(x-1)+f(x-2)))): > seq( Yfib( i ), i = 1 .. 10 ); 1, 1, 2, 3, 5, 8, 13, 21, 34, 55