[barrister]

I meant define or derive the "y combinator", obviously.