Comment by ProfHewitt

Y Combinator does not work for strongly-typed programs

because the definition is not strongly typed.

Instead recursion must be added as an additional primitive to

the lambda calculus.

See https://papers.ssrn.com/abstract=3418003