Function lamcal::combinator::Y

pub fn Y() -> Term

Y - lazy fixed-point combinator

Y ≡ λf.(λa.f(aa))(λa.f(aa))

discovered by Haskell Curry.