of interest to this site, the Y combinator as a Lambda Diagram: https://tromp.github.io/img/cl/Y.logo.gif