def Y[A, B](f: (A => B) => (A => B)): (A => B) = f(Y(f))(_)
val fac = Y[Int, Int](f => i => if (i <= 0) 1 else f(i - 1) * i)
fac(6)