[lambdas]

The y combinator is used to implement recursion in a language without recursion no?

That definition is dependent on recursion already being present.