[bartonfink]

[flagged]

[barrister]

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